共 50 条
- [21] System-software interfaces for safety-related digital I&C systems SAFETY AND RELIABILITY, VOLS 1 & 2, 1999, : 433 - 438
- [22] Research and Application of Memory Space Deterministic Verification of Embedded Operating System Software in Nuclear Safety Level I&C System NEW ENERGY POWER GENERATION AUTOMATION AND INTELLIGENT TECHNOLOGY, SICPNPP 2024, VOL 1, 2024, 1249 : 249 - 255
- [23] Reliability Design and Application of NPP Digital I&C System Based on PSA Hedongli Gongcheng/Nuclear Power Engineering, 2019, 40 (02): : 99 - 104
- [24] A NOVEL INTUITIVE DYNAMIC MODELLING METHOD FOR DIGITAL I&C SYSTEMS IN NUCLEAR POWER PLANTS ANNALS OF DAAAM FOR 2008 & PROCEEDINGS OF THE 19TH INTERNATIONAL DAAAM SYMPOSIUM: INTELLIGENT MANUFACTURING & AUTOMATION: FOCUS ON NEXT GENERATION OF INTELLIGENT SYSTEMS AND SOLUTIONS, 2008, : 1247 - 1248
- [25] Implementation of V&V Tasks for Improving Nuclear I&C System Software Safety NUCLEAR POWER PLANTS: INNOVATIVE TECHNOLOGIES FOR INSTRUMENTATION AND CONTROL SYSTEMS, 2018, 455 : 206 - 214
- [27] Concept of instrumentation of digital twins of nuclear power plants units as observers for digital NPP I&C system 8TH INTERNATIONAL CONFERENCE ON MATHEMATICAL MODELING IN PHYSICAL SCIENCE, 2019, 1391
- [28] A STUDY ON NUCLEAR PLANT SAFETY I&C SYSTEM VERIFICATION AND VALIDATION RELEVANT REGULATORY STANDARDS PROCEEDINGS OF THE 25TH INTERNATIONAL CONFERENCE ON NUCLEAR ENGINEERING, 2017, VOL 1, 2017,
- [30] 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,