J. F. Lemire, E. M. Aboulhamid, Yvon Savaria
, Guy Bois and A. Baron
Paper (2003)
This item is not archived in PolyPublie
| Additional Information: | Nom historique du département: Département de génie informatique |
|---|---|
| Department: |
Department of Electrical Engineering Department of Computer Engineering and Software Engineering |
| PolyPublie URL: | https://publications.polymtl.ca/25737/ |
| Conference Title: | DVCON |
| Conference Location: | San José, USA |
| Conference Date(s): | 2003-02-24 - 2003-02-26 |
| Date Deposited: | 18 Apr 2023 15:20 |
| Last Modified: | 25 Sep 2024 16:06 |
| Cite in APA 7: | Lemire, J. F., Aboulhamid, E. M., Savaria, Y., Bois, G., & Baron, A. (2003, February). Implementing e assertion checkers from an SDL executable specifications [Paper]. DVCON, San José, USA. |
|---|---|
Statistics
Stats are not available on this system.
Repository Staff Only
|
View Item |
