BERGHOUT, : YASSER MOUSSA (2017) Probabilistic Model-Based Diagnosis of Distributed Systems. Doctoral thesis, Université Mohamed Khider - Biskra.