Mohamed Zaki, Sofiene Tahar et Guy Bois
Communication écrite (2006)
Un lien externe est disponible pour ce document
| Département: | Département de génie informatique et génie logiciel |
|---|---|
| ISBN: | 1424404177 |
| URL de PolyPublie: | https://publications.polymtl.ca/75668/ |
| Nom de la conférence: | North-East Workshop on Circuits and Systems |
| Lieu de la conférence: | Gatineau, QC, Canada |
| Date(s) de la conférence: | 2006-06-18 - 2006-06-21 |
| Maison d'édition: | Institute of Electrical and Electronics Engineers |
| DOI: | 10.1109/newcas.2006.250926 |
| URL officielle: | https://doi.org/10.1109/newcas.2006.250926 |
| Date du dépôt: | 18 août 2026 14:43 |
| Dernière modification: | 18 août 2026 14:43 |
| Citer en APA 7: | Zaki, M., Tahar, S., & Bois, G. (juin 2006). Formal Verification of Analog and Mixed Signal Designs: Survey and Comparison [Communication écrite]. North-East Workshop on Circuits and Systems, Gatineau, QC, Canada. https://doi.org/10.1109/newcas.2006.250926 |
|---|---|
Statistiques
Dimensions
Actions réservées au personnel
|
Afficher document |
