par Hernalsteen, Christian Cliquez pour télécharger la liste de publications de l'auteur; Massart, Thierry Liste de publications
Référence Proceedings of DARTS'95, (page 95-112)
Publication Publié, 1995
Publication dans des actes
Titre :
  • An extended timed automaton to model et-lotos specifications
Auteur : Hernalsteen, Christian ; Massart, Thierry
Statut de publication : Publié, 1995
Sujet CREF : Informatique générale
Informations sur la publication :
  • , Proceedings of DARTS'95: Workshop on Design and Analysis of Real- Time Systems, (Bruxelles, Belgium), page 95-112
Langue :
  • Anglais