 | Monter d'un niveau |
Calvez, J.-P., & Nicolescu, G. (2004). Spécification et modélisation des systèmes logiciels/matériels. Dans Jerraya, A.-A., & Nicolescu, G. (édit.), Spécification et validation des systèmes monopuces (19-56). Lien externe
Gorse, N., Metzger, M., Lapalme, J., Aboulhamid, E. M., Savaria, Y., & Nicolescu, G. (décembre 2004). Enhancing ESys.Net with a semi-formal verification layer [Communication écrite]. 16th International Conference on Microelectronics (ICM 2004), Tunisie. Lien externe
Jerraya, A.-A., & Nicolescu, G. (2004). Méthodes de validation pour systèmes hétérogènes. Dans Spécification et validation des systèmes monopuces (57-100). Lien externe
Jerraya, A.-A., Nicolescu, G., & Yoo, S. (2004). Modèle de simulation pour logiciel et systèmes d'exploitation enfouis. Dans Spécification et validation des systèmes monopuces (101-120). Lien externe
Lapalme, J., Aboulhamed, E. M., Nicolescu, G., Charest, L., Boyer, F.-R., David, J. P., & Bois, G. (juin 2004). Esys.net: A New Solution for Embedded Systems Modeling and Simulation [Communication écrite]. ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2004), Washington, D.C.. Publié dans ACM Sigplan Notices, 39(7). Lien externe
Lapalme, J., Aboulhamid, E. M., Nicolescu, G., Charest, L., Boyer, F.-R., David, J. P., & Bois, G. (février 2004). [dot]Net framework - A solution for the next generation tools for system-level modeling and simulation [Communication écrite]. Design, Automation and Test in Europe Conference and Exhibition (DATE 2004), Paris, France. Lien externe
