TY  - RPRT
TI  - Formal Probabilistic Analysis of Dynamic Fault Trees in HOL4
AU  - Yassmeen Elderhalli
AU  - Waqar Ahmad
AU  - Osman Hasan
AU  - Sofiene Tahar
PY  - 2018
UR  - https://arxiv.org/abs/1807.11576
ID  - 1807.11576
ER  -