共 50 条
- [21] The Implementation of Fault Tree Analysis Approaches in Nuclear Power Plant Probabilistic Safety Assessment 3RD INTERNATIONAL CONFERENCE ON NUCLEAR ENERGY TECHNOLOGIES AND SCIENCES (ICONETS) 2019, 2019, 2180
- [24] Evaluation System of Software Concept V&V About the Safety Digital I&C System in Nuclear Power Plant NUCLEAR POWER PLANTS: INNOVATIVE TECHNOLOGIES FOR INSTRUMENTATION AND CONTROL SYSTEMS, 2017, 400 : 125 - 132
- [27] Verification of a safety-related I&C system for nuclear power plant by model checking, test case generation and automatic testing 2022 IEEE 27TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2022,