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 : 4.

Le plein texte de ce document n'est pas hébergé sur ce serveur.

Rechercher dans Google Scholar

URL Officielle: http://dx.doi.org/10.1109/ICM.2004.1434594

Type de document:	Compte rendu de conférence
Professeur:	Professeur Lapalme, James
Affiliation:	Autres
Date de dépôt:	10 oct. 2014 15:21
Dernière modification:	10 oct. 2014 15:21
URI:	https://espace2.etsmtl.ca/id/eprint/8721

Actions (Authentification requise)

Dernière vérification avant le dépôt