Iugan, L. G., Nicolescu, G., & O'Connor, I. (2016). Formalization for formal verification of an optical network-on-chip using DEVS. Dans Discrete-Event Modeling and Simulation: Theory and Applications (p. 293-306). Lien externe