Luiza Gheorghe Lugan, Gabriela Nicolescu
et Ian O’Connor
Chapitre de livre (2018)
Un lien externe est disponible pour ce document
| Département: | Département de génie informatique et génie logiciel |
|---|---|
| ISBN: | 9781315218731 |
| URL de PolyPublie: | https://publications.polymtl.ca/74600/ |
| Éditeurs ou éditrices: | Gabriel A. Wainer et Pieter J. Mosterman |
| Maison d'édition: | CRC Press |
| DOI: | 10.1201/9781315218731-11 |
| URL officielle: | https://doi.org/10.1201/9781315218731-11 |
| Date du dépôt: | 30 juil. 2026 15:42 |
| Dernière modification: | 30 juil. 2026 15:42 |
| Citer en APA 7: | Lugan, L. G., Nicolescu, G., & O’Connor, I. (2018). Formalization for Formal Verification of an Optical Network-on-Chip Using DEVS. Dans Wainer, G. A., & Mosterman, P. J. (édit.), Discrete-Event Modeling and Simulation (p. 293-308). https://doi.org/10.1201/9781315218731-11 |
|---|---|
Statistiques
Dimensions
Actions réservées au personnel
|
Afficher document |
