Documents publiés en "2016"
Monter d'un niveauNombre de documents: 1
Chapitre de livre
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