Documents publiés en "2016"

Ammar, M., Bany Hamad, G., Mohamed, O. A.̈., & Savaria, Y. (septembre 2016). Efficient probabilistic fault tree analysis of safety critical systems via probabilistic model checking [Communication écrite]. Forum on Specification and Design Languages (FDL 2016), Bremen, Germany (8 pages). Lien externe