@phdthesis{duroeulx:tel-02881242, TITLE = {{{\'E}valuation de la fiabilit{\'e} des syst{\`e}mes mod{\'e}lis{\'e}s par arbres de d{\'e}faillances gr{\^a}ce aux techniques de satisfiabilit{\'e}}}, AUTHOR = {Duroeulx, Margaux}, URL = {https://hal.univ-lorraine.fr/tel-02881242}, NUMBER = {2020LORR0026}, HAL_LOCAL_REFERENCE = {ISET}, SCHOOL = {{Universit{\'e} de Lorraine}}, YEAR = {2020}, MONTH = Mar, KEYWORDS = {Reliability ; Dependability ; Satisfiability ; Fault trees ; Probabilistic assessment ; Critical systems ; Fiabilit{\'e} ; S{\^u}ret{\'e} de fonctionnement ; Satisfiabilit{\'e} ; Arbres de d{\'e}faillances ; {\'E}valuation probabiliste ; Syst{\`e}mes critiques}, TYPE = {Theses}, PDF = {https://hal.univ-lorraine.fr/tel-02881242/file/DDOC_T_2020_0026_DUROEULX.pdf}, HAL_ID = {tel-02881242}, HAL_VERSION = {v1}, }