<  Back to the Polytechnique Montréal portal

Items where Author is "Ammar, M."

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

2016

Ammar, M., Hamad, G. B., Mohamed, O. A., & Savaria, Y. (2016, September). Efficient probabilistic fault tree analysis of safety critical systems via probabilistic model checking [Paper]. Forum on Specification and Design Languages (FDL 2016), Bremen, Germany (8 pages). External link

List generated on: Fri Aug 23 08:32:13 2024 EDT