MYGEN : AAA Automata-based on-line test generator for assertion-based verification

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.

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

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