<  Back to the Polytechnique Montréal portal

Formalization for formal verification of an optical network-on-chip using DEVS

Luiza Gheorghe Iugan, 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
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: 05 Apr 2024 11:40
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.

Repository Staff Only

View Item View Item