N. Gorse, M. Metzger, J. Lapalme, E. M. Aboulhamid, Yvon Savaria
et Gabriela Nicolescu
Communication écrite (2004)
Un lien externe est disponible pour ce document
| 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/25008/ |
| Nom de la conférence: | 16th International Conference on Microelectronics (ICM 2004) |
| Lieu de la conférence: | Tunisie |
| Date(s) de la conférence: | 2004-12-06 - 2004-12-08 |
| Maison d'édition: | Institute of Electrical and Electronics Engineers |
| DOI: | 10.1109/icm.2004.1434594 |
| URL officielle: | https://doi.org/10.1109/icm.2004.1434594 |
| Date du dépôt: | 18 avr. 2023 15:19 |
| Dernière modification: | 05 avr. 2024 11:11 |
| Citer en APA 7: | Gorse, N., Metzger, M., Lapalme, J., Aboulhamid, E. M., Savaria, Y., & Nicolescu, G. (décembre 2004). Enhancing ESys.Net with a semi-formal verification layer [Communication écrite]. 16th International Conference on Microelectronics (ICM 2004), Tunisie. https://doi.org/10.1109/icm.2004.1434594 |
|---|---|
Statistiques
Dimensions
Actions réservées au personnel
|
Afficher document |
