共 50 条
- [1] Quantitative security and safety analysis with attack-fault trees 2017 IEEE 18TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE 2017), 2017, : 25 - 32
- [3] Parametric analyses of attack-fault trees 2019 19TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD 2019), 2019, : 33 - 42
- [4] Extending Attack-Fault Trees with Runtime Verification ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (371): : 193 - 207
- [5] Model-Based Generation of Attack-Fault Trees COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2023, 2023, 14181 : 107 - 120
- [6] Fault tree analysis of bridge scour WATER RESOURCES ENGINEERING 98, VOLS 1 AND 2, 1998, : 110 - 114
- [9] SAFETY AND SECURITY ANALYSIS FOR MOVABLE RAILROAD BRIDGES PROCEEDINGS OF THE ASME JOINT RAIL CONFERENCE, 2019, 2019,