<  Back to the Polytechnique Montréal portal

Items where Author is "Ortmeier, Frank"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors | Publication Date | Document subtype | No Grouping
Number of items: 1.

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: Tue Jun 9 02:55:00 2026 EDT