Oddos, Yann, Morin-Allory, Katell, Borrione, Dominique, Boulé, Marc et Zilic, Zeljko.
2009.
« MYGEN : AAA Automata-based on-line test generator for assertion-based verification ».
In Proceedings of the ACM Great Lakes Symposium on VLSI (GLSVLSI) (Boston, MA, USA, May 10-12, 2009)
pp. 75-80.
Association for Computing Machinery.
Compte des citations dans Scopus : 12.
Rechercher dans Google Scholar
URL Officielle: https://doi.org/10.1145/1531542.1531563
Type de document: | Compte rendu de conférence |
---|---|
Professeur: | Professeur Boulé, Marc |
Affiliation: | Autres |
Date de dépôt: | 14 oct. 2022 20:47 |
Dernière modification: | 14 oct. 2022 20:47 |
URI: | https://espace2.etsmtl.ca/id/eprint/25641 |
Actions (Authentification requise)
![]() |
Dernière vérification avant le dépôt |