J. F. Lemire, E. M. Aboulhamid, Yvon Savaria
, Guy Bois et A. Baron
Communication écrite (2003)
Ce document n'est pas archivé dans PolyPublie
| Renseignements supplémentaires: | Nom historique du département: Département de génie informatique |
|---|---|
| Département: |
Département de génie électrique Département de génie informatique et génie logiciel |
| URL de PolyPublie: | https://publications.polymtl.ca/25737/ |
| Nom de la conférence: | DVCON |
| Lieu de la conférence: | San José, USA |
| Date(s) de la conférence: | 2003-01-01 - 2003-12-31 |
| Date du dépôt: | 18 avr. 2023 15:20 |
| Dernière modification: | 05 avr. 2024 11:12 |
| Citer en APA 7: | Lemire, J. F., Aboulhamid, E. M., Savaria, Y., Bois, G., & Baron, A. (janvier 2003). Implementing e assertion checkers from an SDL executable specifications [Communication écrite]. DVCON, San José, USA. |
|---|---|
Statistiques
Aucune statistique n'est disponible.
Actions réservées au personnel
|
Afficher document |
