 | Up a level |
Gheorghe, L., Bouchhima, F., Nicolescu, G., & Boucheneb, H. (2008, March). Semantics for model-based validation of continuous/discrete systems [Paper]. Design, Automation and Test in Europe Conference and Exhibition (DATE 2008), Munich, Germany. External link
Gheorghe, L., Bouchhima, F., Nicolescu, G., & Abid, M. (2007). Anatomy of a continuous/discrete system execution model for timed execution of heterogeneous systems. In Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components (pp. 75-108). External link
Bouchhima, F., Nicolescu, G., Aboulhamid, E. M., & Abid, M. (2007). Generic Discrete-Continuous Simulation Model for Accurate Validation in Heterogeneous Systems Design. Microelectronics Journal, 38(6-7), 805-815. External link
Gheorghe, L., Bouchhima, F., Nicolescu, G., & Boucheneb, H. (2006, June). Formal definitions of simulation interfaces in a continuous/discrete co-simulation tool [Paper]. 17th IEEE International Workshop on Rapid System Prototyping, Chania, Crete, Greece. External link
Bouchhima, F., Briere, M., Nicolescu, G., Abid, M., & Aboulhamid, E. M. (2006, September). A SystemC/Simulink co-simulation framework for continuous/discrete-events simulation [Paper]. IEEE International Behavioral Modeling and Simulation Workshop, San Jose, CA, USA. External link
