FRANÇAIS
A showcase of ÉTS researchers’ publications and other contributions
SEARCH

Enhancing ESys.Net with a semi-formal verification layer

Gorse, N., Metzger, M., Lapalme, J., Aboulhamid, E. M., Savaria, Y. et Nicolescu, G.. 2004. « Enhancing ESys.Net with a semi-formal verification layer ». In 16th International Conference on Microelectronics, ICM 2004 Proceedings (Tunis, Tunisia, Dec. 6-8, 2004) pp. 388-391. IEEE.
Compte des citations dans Scopus : 2.

The full text of this document is not available here.
Rechercher dans Google Scholar
Item Type: Conference proceeding
Professor:
Professor
Lapalme, James
Affiliation: Autres
Date Deposited: 10 Oct 2014 15:21
Last Modified: 10 Oct 2014 15:21
URI: https://espace2.etsmtl.ca/id/eprint/8721

Actions (login required)

View Item View Item