共 50 条
- [42] An Efficient Approximation for Quantitative Analysis of Dynamic Fault Trees 2021 IEEE 32ND INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2021), 2021, : 242 - 252
- [43] Formal Verification of Rewriting Rules for Dynamic Fault Trees SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2019), 2019, 11724 : 513 - 531
- [44] Diagnostic expert systems from dynamic fault trees ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 2004 PROCEEDINGS, 2004, : 444 - 450
- [47] Aspen Trees: Balancing Data Center Fault Tolerance, Scalability and Cost PROCEEDINGS OF THE 2013 ACM INTERNATIONAL CONFERENCE ON EMERGING NETWORKING EXPERIMENTS AND TECHNOLOGIES (CONEXT '13), 2013, : 85 - 96
- [50] A DYNAMIC FAULT-TOLERANCE FRAMEWORK FOR REMOTE ROBOTS IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1995, 11 (04): : 477 - 490