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

Kececi, Nihal, Halang, Wolfgang A. and 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.

Item Type:	Conference proceeding
Editors:	Editors ORCID Kleinjohann, Bernd UNSPECIFIED Kim, K. H. UNSPECIFIED Kleinjohann, Lisa UNSPECIFIED Rettberg, Achim UNSPECIFIED
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