Probabilistic model checking of clock domain crossing interfaces

Zaid Al-Bayati, O. Ait Mohamed, Yvon Savaria et Mounir Boukadoum

Communication écrite (2012)

Un lien externe est disponible pour ce document

Département:	Département de génie électrique
Centre de recherche:	GR2M - Groupe de recherche en microélectronique et microsystèmes
URL de PolyPublie:	https://publications.polymtl.ca/15911/
Nom de la conférence:	10th IEEE International New Circuits and Systems Conference (NEWCAS 2012)
Lieu de la conférence:	Montréal, Québec
Date(s) de la conférence:	2012-06-17 - 2012-06-20
Maison d'édition:	Institute of Electrical and Electronics Engineers
DOI:	10.1109/newcas.2012.6328989
URL officielle:	https://doi.org/10.1109/newcas.2012.6328989
Date du dépôt:	18 avr. 2023 15:10
Dernière modification:	08 avr. 2025 12:19

Citer en APA 7:	Al-Bayati, Z., Ait Mohamed, O., Savaria, Y., & Boukadoum, M. (juin 2012). Probabilistic model checking of clock domain crossing interfaces [Communication écrite]. 10th IEEE International New Circuits and Systems Conference (NEWCAS 2012), Montréal, Québec. https://doi.org/10.1109/newcas.2012.6328989
APA 7 (HTML)ASCII CitationAtomBibTeXDOIsDublin CoreEndNote (.ENW)MARC (ISO 2709/UTF-8) (.MRC)MARC (UTF-8) (.MRK8)MARC XMLMPEG-21 DIDLMultiline CSVOAI-ORE Resource Map (Atom Format)OPENAIREOpenURL ContextObjectOpenURL ContextObject in SpanRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager (.RIS)Simple Metadata

Statistiques

Actions réservées au personnel