Luiza Gheorghe, Gabriela Nicolescu
and Ian O'Connor
Book Section (2016)
An external link is available for this item
| Department: | Department of Computer Engineering and Software Engineering |
|---|---|
| ISBN: | 9781420072334 |
| PolyPublie URL: | https://publications.polymtl.ca/42574/ |
| Editors: | Gabriel Wainer and Pieter J. Mosterman |
| Publisher: | CRC Press |
| DOI: | 10.1201/9781315218731-11 |
| Official URL: | https://doi.org/10.1201/9781315218731-11 |
| Date Deposited: | 18 Apr 2023 15:05 |
| Last Modified: | 09 Apr 2026 12:36 |
| Cite in APA 7: | Gheorghe, L., Nicolescu, G., & O'Connor, I. (2016). Formalization for formal verification of an optical network-on-chip using DEVS. In Wainer, G., & Mosterman, P. J. (eds.), Discrete-Event Modeling and Simulation: Theory and Applications (pp. 293-306). https://doi.org/10.1201/9781315218731-11 |
|---|---|
Statistics
Dimensions
Repository Staff Only
|
View Item |
