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
Gholami, M.-R., & Boucheneb, H. (octobre 2014). Applying formal methods into safety-critical health applications [Communication écrite]. 4th International Symposium on Model-Based Safety and Assessment (IMBSA 2014), Munich, Germany. Lien externe
Gholami, M.-R. (2016). Verifying Timed LTL Properties Using Simulink Design Verifier [Thèse de doctorat, École Polytechnique de Montréal]. Disponible