Évaluation de la fiabilité des systèmes modélisés par arbres de défaillances grâce aux techniques de satisfiabilité. (Reliability assessment of systems modeled by fault trees thanks to satisfiability techniques). - Margaux Duroeulx (2020)