<  Retour au portail Polytechnique Montréal

Timing verification of cyclic systems based on temporal constraint analysis

Ahmed Azzabi, El Mostapha Aboulhamid et Gabriela Nicolescu

Communication écrite (2010)

Un lien externe est disponible pour ce document
Département: Département de génie informatique et génie logiciel
Centre de recherche: GR2M - Groupe de recherche en microélectronique et microsystèmes
URL de PolyPublie: https://publications.polymtl.ca/41417/
Nom de la conférence: 17th IEEE International Conference on Electronics, Circuits and Systems
Lieu de la conférence: Athens, Greece
Date(s) de la conférence: 2010-12-12 - 2010-12-15
Maison d'édition: IEEE
DOI: 10.1109/icecs.2010.5724598
URL officielle: https://doi.org/10.1109/icecs.2010.5724598
Date du dépôt: 18 avr. 2023 15:13
Dernière modification: 05 avr. 2024 11:38
Citer en APA 7: Azzabi, A., Aboulhamid, E. M., & Nicolescu, G. (décembre 2010). Timing verification of cyclic systems based on temporal constraint analysis [Communication écrite]. 17th IEEE International Conference on Electronics, Circuits and Systems, Athens, Greece. https://doi.org/10.1109/icecs.2010.5724598

Statistiques

Dimensions

Actions réservées au personnel

Afficher document Afficher document