Mohamed H. Zaki, Ghiath Al-Sammane, Sofiene Tahar et Guy Bois
Communication écrite (2007)
Un lien externe est disponible pour ce document
| Département: | Département de génie informatique et génie logiciel |
|---|---|
| URL de PolyPublie: | https://publications.polymtl.ca/53309/ |
| Nom de la conférence: | Formal Methods in Computer Aided Design (FMCAD 2007) |
| Lieu de la conférence: | Austin, TX, USA |
| Date(s) de la conférence: | 2007-11-11 - 2007-11-14 |
| Maison d'édition: | IEEE |
| DOI: | 10.1109/famcad.2007.25 |
| URL officielle: | https://doi.org/10.1109/famcad.2007.25 |
| Date du dépôt: | 18 avr. 2023 15:17 |
| Dernière modification: | 25 sept. 2024 16:44 |
| Citer en APA 7: | Zaki, M. H., Al-Sammane, G., Tahar, S., & Bois, G. (novembre 2007). Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs [Communication écrite]. Formal Methods in Computer Aided Design (FMCAD 2007), Austin, TX, USA (9 pages). https://doi.org/10.1109/famcad.2007.25 |
|---|---|
Statistiques
Dimensions
Actions réservées au personnel
|
Afficher document |
