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



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: |
|
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 |