 | Monter d'un niveau |
Gholami, M.-R., & Boucheneb, H. (2016). Formal Verification of Event-driven Health Applications. Journal of Software Engineering: Theories and Practices, 1(1). Lien externe
Lugan, L. G., Nicolescu, G., & Boucheneb, H. (juillet 2016). Rollback-based simulation for the design of continuous/discrete simulation tools [Communication écrite]. 48th Summer Computer Simulation Conference (SCSC 2016), Montréal, Québec. Lien externe
