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

Debug enhancements in assertion-checker generation

Boulé, M., Chenard, J. S. et Zilic, Z.. 2007. « Debug enhancements in assertion-checker generation ». IET Computers and Digital Techniques, vol. 1, nº 6. pp. 669-677.
Compte des citations dans Scopus : 24.

Le plein texte de ce document n'est pas hébergé sur ce serveur.
Rechercher dans Google Scholar
Type de document: Article publié dans une revue, révisé par les pairs
Professeur:
Professeur
Boulé, Marc
Affiliation: Autres
Date de dépôt: 14 oct. 2022 20:35
Dernière modification: 14 oct. 2022 20:35
URI: https://espace2.etsmtl.ca/id/eprint/25626

Actions (Authentification requise)

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