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).
The full text of this document is not available here.| Item Type: | Communication (Communication) |
|---|---|
| Professor: | Professor Boulé, Marc |
| Affiliation: | Autres |
| Date Deposited: | 17 Oct 2022 20:25 |
| Last Modified: | 17 Oct 2022 20:25 |
| URI: | https://espace2.etsmtl.ca/id/eprint/25672 |
Actions (login required)
 |
View Item |