ENGLISH
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., 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
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 Dernière vérification avant le dépôt