TY  - RPRT
TI  - Formal FT-based Cause-Consequence Reliability Analysis using Theorem Proving
AU  - Mohamed Abdelghany
AU  - Sofiene Tahar
PY  - 2021
UR  - https://arxiv.org/abs/2101.07174
ID  - 2101.07174
ER  -