N. Gorse, M. Metzger, James Lapalme, E. M. Aboulhamid, Yvon Savaria
, Gabriela Nicolescu
Communication écrite (2004)
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Renseignements supplémentaires:
Nom historique du département: Département de génie informatique
ISBN:
0780386566
Adresse URL de PolyPublie:
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
URL officielle:
OAI:
oai:publications.polymtl.ca:25008
ORCID
Date du dépôt:
18 avr. 2023 15:19
Dernière modification:
14 oct. 2026 12:59
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
