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

Oddos, Yann, Morin-Allory, Katell, Borrione, Dominique, Boulé, Marc and 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.

The full text of this document is not available here.

Item Type:	Conference proceeding
Professor:	Professor Boulé, Marc
Affiliation:	Autres
Date Deposited:	14 Oct 2022 20:47
Last Modified:	14 Oct 2022 20:47
URI:	https://espace2.etsmtl.ca/id/eprint/25641

Actions (login required)

View Item