Luiza Gheorghe, Gabriela Nicolescu
et Ian O'Connor
Communication écrite (2009)
Un lien externe est disponible pour ce document
| Renseignements supplémentaires: | Workshop on Multi-Paradigm Modeling 2009 held as a satellite event of MoDELS 2009 in Denver, CO, USA, |
|---|---|
| Département: | Département de génie informatique et génie logiciel |
| URL de PolyPublie: | https://publications.polymtl.ca/74157/ |
| 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 |
| DOI: | 10.14279/tuj.eceasst.21.302 |
| URL officielle: | https://doi.org/10.14279/tuj.eceasst.21.302 |
| Date du dépôt: | 09 avr. 2026 12:31 |
| Dernière modification: | 09 avr. 2026 12:31 |
| 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
Actions réservées au personnel
|
Afficher document |
