TY - THES DP - http://www.theses.fr/2020LORR0026 TI - Évaluation de la fiabilité des systèmes modélisés par arbres de défaillances grâce aux techniques de satisfiabilité AU - Duroeulx, Margaux A3 - Merz, Stephan; Brinzei, Nicolae PY - 2020 N1 - Thèse de doctorat Informatique Université de Lorraine 2020 N1 - 2020LORR0026 UR - http://www.theses.fr/2020LORR0026/document ER -