La vitrine de diffusion des publications et contributions des chercheurs de l'ÉTS
RECHERCHER

A semi-formal method to verify correctness of functional requirements specifications of complex systems

Kececi, Nihal et Halang, Wolfgang A. et Abran, Alain. 2002. « A semi-formal method to verify correctness of functional requirements specifications of complex systems ». In Design and Analysis of Distributed Embedded Systems : IFIP 17th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002) August 25–29, 2002, Montréal, Québec, Canada (Montreal, QC, Canada, Aug. 25-29, 2002) Coll. « IFIP — The International Federation for Information Processing », vol. 91. , p. 61-69. Norwell, MA, USA : Springer.

Le plein texte de ce document n'est pas hébergé sur ce serveur.
Type de document: Compte rendu de conférence
Éditeurs:
Éditeurs
Kleinjohann, Bernd
Kim, K. H.
Kleinjohann, Lisa
Rettberg, Achim
Professeur:
Professeur
Abran, Alain
Affiliation: Génie électrique
Date de dépôt: 31 mars 2014 15:30
Dernière modification: 31 mars 2014 15:30
URI: http://espace2.etsmtl.ca/id/eprint/7378

Actions (Authentification requise)

Dernière vérification avant le dépôt Dernière vérification avant le dépôt