par Hernalsteen, Christian ;De Jacquier De Rosee, Antony ;Massart, Thierry
Editeur scientifique Groote, Jan Friso;Luttik, Sebastiaan Pascal;Van Wamel, Jacobus Johannes
Référence (May 25-26 1998: CWI, Amsterdam, The Netherlands), Proceedings of the third international Workshop on Formal Methods for Industrial Critical Systems, page (231-256)
Publication Publié, 1998
Publication dans des actes
Titre:
  • A toolset for the analysis of et-lotos specifications
Auteur:Hernalsteen, Christian; De Jacquier De Rosee, Antony; Massart, Thierry
Editeur scientifique:Groote, Jan Friso; Luttik, Sebastiaan Pascal; Van Wamel, Jacobus Johannes
Informations sur la publication:(May 25-26 1998: CWI, Amsterdam, The Netherlands), Proceedings of the third international Workshop on Formal Methods for Industrial Critical Systems, page (231-256)
Statut de publication:Publié, 1998
Sujet CREF:Informatique mathématique
Langue:Anglais
Identificateurs:urn:isbn:9789061964803