N. Gorse, M. Metzger, James 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 |
| ISBN: | 0780386566 |
| 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: | 08 Apr 2025 02:13 |
| 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 |
