Implémentation du logiciel de vérification de modèle MEC avec les arbres partagés

  • Renaud Paquay

Student thesis: Master typesMaster in Computer science

Abstract

Date of Award1996
Original languageFrench
Awarding Institution
  • University of Namur
SupervisorBaudouin LE CHARLIER (Supervisor)

Cite this

Implémentation du logiciel de vérification de modèle MEC avec les arbres partagés
Paquay, R. (Author). 1996

Student thesis: Master typesMaster in Computer science