共 50 条
- [42] A modular approach for analyzing static and dynamic fault trees ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM - 1997 PROCEEDINGS: THE INTERNATIONAL SYMPOSIUM ON PRODUCT QUALITY & INTEGRITY, 1997, : 57 - 63
- [43] Parametric fault trees with dynamic gates and repair boxes ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 2004 PROCEEDINGS, 2004, : 459 - 465
- [46] An Efficient Approximation for Quantitative Analysis of Dynamic Fault Trees 2021 IEEE 32ND INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2021), 2021, : 242 - 252
- [47] Formal Verification of Rewriting Rules for Dynamic Fault Trees SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2019), 2019, 11724 : 513 - 531
- [48] Diagnostic expert systems from dynamic fault trees ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 2004 PROCEEDINGS, 2004, : 444 - 450
- [50] Parallel simulation of dynamic channel assignment 1997 IEEE 47TH VEHICULAR TECHNOLOGY CONFERENCE PROCEEDINGS, VOLS 1-3: TECHNOLOGY IN MOTION, 1997, : 1475 - 1478