Luiza Gheorghe, Gabriela Nicolescu
, Ian O'Connor
Chapitre de livre (2016)
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Département:
ISBN:
9781420072334
Adresse URL de PolyPublie:
Éditeurs ou éditrices:
Maison d'édition:
CRC Press
URL officielle:
OAI:
oai:publications.polymtl.ca:42574
ORCID
Date du dépôt:
18 avr. 2023 15:05
Dernière modification:
14 oct. 2026 13:53
Citer en APA 7:
Gheorghe, L., Nicolescu, G., & O'Connor, I. (2016). Formalization for formal verification of an optical network-on-chip using DEVS. Dans Wainer, G., & Mosterman, P. J. (édit.), Discrete-Event Modeling and Simulation: Theory and Applications (p. 293-306). https://doi.org/10.1201/9781315218731-11
Statistiques
Dimensions
