共 15 条
- [1] Abd-Allah A., 1997, Technical Report: USC-CSE-97-501
- [2] Event Tree Reliability Analysis of Safety Critical Systems Using Theorem Proving [J]. IEEE SYSTEMS JOURNAL, 2022, 16 (02): : 2899 - 2910
- [3] Event Tree Reliability Analysis of Electrical Power Generation Network using Formal Techniques [J]. 2020 IEEE ELECTRIC POWER AND ENERGY CONFERENCE (EPEC), 2020,
- [8] An Efficient Library for Reliability Block Diagram Evaluation [J]. APPLIED SCIENCES-BASEL, 2021, 11 (09):
- [9] Cepin M, 2011, ASSESSMENT OF POWER SYSTEM RELIABILITY: METHODS AND APPLICATIONS, P227, DOI 10.1007/978-0-85729-688-7_15