Luiza Gheorghe, Gabriela Nicolescu
, Ian O'Connor
Communication écrite (2009)
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Mots clés
Renseignements supplémentaires:
Workshop on Multi-Paradigm Modeling 2009 held as a satellite event of MoDELS 2009 in Denver, CO, USA,
Département:
Adresse URL de PolyPublie:
Nom de la conférence:
3rd International Workshop on Multi-Paradigm Modeling (MPM 2009)
Lieu de la conférence:
Denver, CO, USA
Date(s) de la conférence:
2009-10-06
Titre de la revue
:
Electronic Communications of the EASST
(
vol.
21
)
Maison d'édition:
ECEASST
URL officielle:
OAI:
oai:publications.polymtl.ca:74157
ORCID
Date du dépôt:
09 avr. 2026 12:31
Dernière modification:
14 oct. 2026 14:35
Citer en APA 7:
Gheorghe, L., Nicolescu, G., & O'Connor, I. (octobre 2009). Modeling and Formal Verification of a Passive Optical Network on Chip Behavior [Communication écrite]. 3rd International Workshop on Multi-Paradigm Modeling (MPM 2009), Denver, CO, USA (11 pages). Publié dans Electronic Communications of the EASST, 21. https://doi.org/10.14279/tuj.eceasst.21.302
Statistiques
Dimensions
