• Citer

An extended timed automaton to model et-lotos specifications

par Hernalsteen, Christian ;Massart, Thierry
Référence (Bruxelles, Belgium), Proceedings of DARTS'95, Workshop on Design and Analysis of Real- Time Systems, page (95-112)
Publication Publié, 1995

Publication dans des actes

• Détails

Titre:	An extended timed automaton to model et-lotos specifications
Auteur:	Hernalsteen, Christian; Massart, Thierry
Informations sur la publication:	(Bruxelles, Belgium), Proceedings of DARTS'95, Workshop on Design and Analysis of Real- Time Systems, page (95-112)
Statut de publication:	Publié, 1995
Sujet CREF:	Informatique générale
Langue:	Anglais