Boulé, Marc. 2008. « L'outil MBAC et la synthèse de circuits vérificateurs d’assertions ». Communication lors de la conférence : Laboratoire TIMA-VDS, Institut National Polytechnique de Grenoble (Grenoble, France, Fév. 2008).
Le plein texte de ce document n'est pas hébergé sur ce serveur.| Type de document: | Communication (Communication) |
|---|---|
| Professeur: | Professeur Boulé, Marc |
| Affiliation: | Autres |
| Date de dépôt: | 17 oct. 2022 20:25 |
| Dernière modification: | 17 oct. 2022 20:25 |
| URI: | https://espace2.etsmtl.ca/id/eprint/25672 |
Actions (Authentification requise)
 |
Dernière vérification avant le dépôt |