Marwan Ammar, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria. Efficient probabilistic fault tree analysis of safety critical systems via probabilistic model checking. In Rolf Drechsler, Robert Wille, editors, 2016 Forum on Specification and Design Languages, FDL 2016, Bremen, Germany, September 14-16, 2016. pages 1-8, IEEE, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.