<  Retour au portail Polytechnique Montréal

Checking properties of PLL designs using run-time verification

Zhi Jie Dong, 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/52580/
Nom de la conférence: International Conference on Microelectronics (ICM 2007)
Lieu de la conférence: Cairo, Egypt
Date(s) de la conférence: 2007-12-29 - 2007-12-31
Maison d'édition: IEEE
DOI: 10.1109/icm.2007.4497676
URL officielle: https://doi.org/10.1109/icm.2007.4497676
Date du dépôt: 18 avr. 2023 15:16
Dernière modification: 09 oct. 2024 16:22
Citer en APA 7: Dong, Z. J., Zaki, M. H., Sammane, G. A., Tahar, S., & Bois, G. (décembre 2007). Checking properties of PLL designs using run-time verification [Communication écrite]. International Conference on Microelectronics (ICM 2007), Cairo, Egypt (4 pages). https://doi.org/10.1109/icm.2007.4497676

Statistiques

Dimensions

Actions réservées au personnel

Afficher document Afficher document