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