La vitrine de diffusion des publications et contributions des chercheurs de l'ÉTS
RECHERCHER

Enhancing ESys.Net with a semi-formal verification layer

Gorse, N. et Metzger, M. et Lapalme, J. et Aboulhamid, E. M. et 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), p. 388-391. IEEE.
Compte des citations dans Scopus : 1.

Le plein texte de ce document n'est pas hébergé sur ce serveur.
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: http://espace2.etsmtl.ca/id/eprint/8721

Actions (Authentification requise)

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