<  Retour au portail Polytechnique Montréal

Documents dont l'auteur est "Mosterman, Pieter J."

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 à : G | L | N
Nombre de documents: 3

G

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

L

Lugan, L. G., Nicolescu, G., & O’Connor, I. (2018). Formalization for Formal Verification of an Optical Network-on-Chip Using DEVS. Dans Wainer, G. A., & Mosterman, P. J. (édit.), Discrete-Event Modeling and Simulation (p. 293-308). Lien externe

N

Nicolescu, G., & Mosterman, P. J. (2018). Model-Based Design for Embedded Systems. Lien externe

Liste produite: Sat Aug 29 15:59:56 2026 EDT.