Luiza Gheorghe Iugan, Gabriela Nicolescu and Ian O'Connor
Book Section (2016)
An external link is available for this itemDepartment: | Department of Computer Engineering and Software Engineering |
---|---|
PolyPublie URL: | https://publications.polymtl.ca/42574/ |
Publisher: | CRC Press |
Official URL: | https://www.taylorfrancis.com/chapters/edit/10.120... |
Date Deposited: | 18 Apr 2023 15:05 |
Last Modified: | 25 Sep 2024 16:28 |
Cite in APA 7: | Iugan, L. G., Nicolescu, G., & O'Connor, I. (2016). Formalization for formal verification of an optical network-on-chip using DEVS. In Discrete-Event Modeling and Simulation: Theory and Applications (pp. 293-306). https://www.taylorfrancis.com/chapters/edit/10.1201/9781315218731-11/formalization-formal-verification-optical-network-chip-using-devs-luiza-gheorghe-lugan-gabriela-nicolescu-ian-connor |
---|---|
Statistics
Stats are not available on this system.