<  Back to the Polytechnique Montréal portal

Enhancing ESys.Net with a semi-formal verification layer

N. Gorse, M. Metzger, J. Lapalme, E. M. Aboulhamid, Yvon Savaria and Gabriela Nicolescu

Paper (2004)

An external link is available for this item
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/25008/
Conference Title: 16th International Conference on Microelectronics (ICM 2004)
Conference Location: Tunisie
Conference Date(s): 2004-12-06 - 2004-12-08
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/icm.2004.1434594
Official URL: https://doi.org/10.1109/icm.2004.1434594
Date Deposited: 18 Apr 2023 15:19
Last Modified: 05 Apr 2024 11:11
Cite in APA 7: Gorse, N., Metzger, M., Lapalme, J., Aboulhamid, E. M., Savaria, Y., & Nicolescu, G. (2004, December). Enhancing ESys.Net with a semi-formal verification layer [Paper]. 16th International Conference on Microelectronics (ICM 2004), Tunisie. https://doi.org/10.1109/icm.2004.1434594

Statistics

Dimensions

Repository Staff Only

View Item View Item