 | Monter d'un niveau |
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). Lien externe
