Efficient probabilistic fault tree analysis of safety critical systems via probabilistic model checking.

Marwan Ammar, Ghaith Bany Hamad, Otmane At Mohamed, Yvon Savaria

Browse the full FDL paper archive.