<  Retour au portail Polytechnique Montréal

Documents dont l'auteur est "Wainer, Gabriel"

Monter d'un niveau
Pour citer ou exporter [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Grouper par: Auteurs ou autrices | Date de publication | Sous-type de document | Aucun groupement
Aller à : 2016 | 2009
Nombre de documents: 2

2016

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

2009

Sanz, V., Jafer, S., Wainer, G., Nicolescu, G., Urquia, A., & Dormido, S. (mars 2009). Hybrid modeling of opto-electrical interfaces using DEVS and modelica [Communication écrite]. DEVS Integrative M and S Symposium (DEVS 2009), part of the 2009 Spring Simulation Multiconference (SpringSim 2009), San Diego, CA, United states. Lien externe

Liste produite: Wed Apr 29 05:18:31 2026 EDT.