par Hernalsteen, Christian ;Massart, Thierry
Référence Proceedings of DARTS'95, Workshop on Design and Analysis of Real- Time Systems, (Bruxelles, Belgium), 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
Informations sur la publication:Proceedings of DARTS'95, Workshop on Design and Analysis of Real- Time Systems, (Bruxelles, Belgium), page (95-112)
Statut de publication:Publié, 1995
Sujet CREF:Informatique générale
Langue:Anglais