Titre:
  • Specification, validation and verification of real-time systems in ET-LOTOS
Auteur:Hernalsteen, Christian
Promoteur:Massart, Thierry
Informations sur la publication:Université libre de Bruxelles, Faculté des sciences, Bruxelles
Date de défense:1998
Sujet CREF:Sciences exactes et naturelles
Volumes/pages:1 v.
Intitulé du diplôme:Doctorat en Sciences
Langue:Français
Anneé académique:1997-1998
Identificateurs:ulbcat.ulb.ac.be:565523