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

Kececi, Nihal, 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. pp. 61-69. Norwell, MA, USA : Springer.

Le plein texte de ce document n'est pas hébergé sur ce serveur.

Rechercher dans Google Scholar

URL Officielle: http://dx.doi.org/10.1007/978-0-387-35599-3_7

Type de document:	Compte rendu de conférence
Éditeurs:	Éditeurs ORCID Kleinjohann, Bernd NON SPÉCIFIÉ Kim, K. H. NON SPÉCIFIÉ Kleinjohann, Lisa NON SPÉCIFIÉ Rettberg, Achim NON SPÉCIFIÉ
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:	https://espace2.etsmtl.ca/id/eprint/7378

Actions (Authentification requise)

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