FRANÇAIS
A showcase of ÉTS researchers’ publications and other contributions
SEARCH

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.

The full text of this document is not available here.
Rechercher dans Google Scholar
Item Type: Conference proceeding
Editors:
EditorsORCID
Kleinjohann, BerndUNSPECIFIED
Kim, K. H.UNSPECIFIED
Kleinjohann, LisaUNSPECIFIED
Rettberg, AchimUNSPECIFIED
Professor:
Professor
Abran, Alain
Affiliation: Génie électrique
Date Deposited: 31 Mar 2014 15:30
Last Modified: 31 Mar 2014 15:30
URI: https://espace2.etsmtl.ca/id/eprint/7378

Actions (login required)

View Item View Item