共 16 条
- [1] Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach [J]. DEPENDABLE SOFTWARE ENGINEERING: THEORIES, TOOLS, AND APPLICATIONS, 2016, 9984 : 264 - 279
- [2] Towards Formal Fault Tree Analysis Using Theorem Proving [J]. INTELLIGENT COMPUTER MATHEMATICS, CICM 2015, 2015, 9150 : 39 - 54
- [3] [Anonymous], 2002, FAULT TREE HDB AEROS
- [4] [Anonymous], 2010, THESIS
- [5] Arnold Florian, 2013, Computer Safety, Reliability and Security. 32nd International Conference, SAFECOMP 2013. Proceedings: LNCS 8153, P293, DOI 10.1007/978-3-642-40793-2_27
- [6] A new Bayesian network approach to solve dynamic fault trees [J]. ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 2005 PROCEEDINGS, 2005, : 451 - 456
- [7] Boudali H, 2007, LECT NOTES COMPUT SC, V4762, P441
- [8] A STORM is Coming: A Modern Probabilistic Model Checker [J]. COMPUTER AIDED VERIFICATION (CAV 2017), PT II, 2017, 10427 : 592 - 600
- [9] Elderhalli Y., 2017, TECHNICAL REPORT
- [10] Elderhalli Y., 2017, DFT FORMAL ANAL HOL4