 | Monter d'un niveau |
Gholami, M.-R. (2016). Verifying Timed LTL Properties Using Simulink Design Verifier [Thèse de doctorat, École Polytechnique de Montréal]. Disponible
Gholami, M.-R., & Boucheneb, H. (2016). Formal Verification of Event-driven Health Applications. Journal of Software Engineering: Theories and Practices, 1(1). Lien externe
