<  Back to the Polytechnique Montréal portal

Items where Author is "Gholami, Mohammad-Reza"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Jump to: G
Number of items: 3.

G

Gholami, M.-R. (2016). Verifying Timed LTL Properties Using Simulink Design Verifier [Ph.D. thesis, École Polytechnique de Montréal]. Available

Gholami, M.-R., & Boucheneb, H. (2016). Formal Verification of Event-driven Health Applications. Journal of Software Engineering: Theories and Practices, 1(1). External link

Gholami, M.-R., & Boucheneb, H. (2014, October). Applying formal methods into safety-critical health applications [Paper]. 4th International Symposium on Model-Based Safety and Assessment (IMBSA 2014), Munich, Germany. External link

List generated on: Sat Jan 25 05:40:57 2025 EST