共 50 条
- [1] Development of a method for quantifying the reliability of nuclear safety-related software [J]. PROBABILISTIC SAFETY ASSESSMENT AND MANAGEMENT, VOL I AND II, PROCEEDINGS, 2002, : 707 - 713
- [3] COMPILER ISSUES ASSOCIATED WITH SAFETY-RELATED SOFTWARE [J]. NUCLEAR TECHNOLOGY, 1991, 93 (01) : 116 - 122
- [4] PROFESSIONAL COMPETENCE IN SAFETY-RELATED SOFTWARE ENGINEERING [J]. SOFTWARE ENGINEERING JOURNAL, 1995, 10 (02): : 43 - 48
- [5] Concept for development of safety-related filters [J]. SAFETY AND RELIABILITY: METHODOLOGY AND APPLICATIONS, 2015, : 507 - 511
- [6] Methods and tools to the verification of safety-related control software [J]. SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 2455 - 2457
- [7] METHODOLOGY OF DEVELOPMENT AND VALIDATION OF SOFTWARE FOR SAFETY-RELATED PARTS OF CONTROL SYSTEMS IN STAGE TECHNOLOGY [J]. MM SCIENCE JOURNAL, 2019, 2019 : 3673 - 3678
- [9] Tool Support for Testing safety-related Software on Conformity to Standards [J]. FUNKTIONALE SICHERHEIT: ECHTZEIT 2013, 2013, : 7 - 18
- [10] Hazard and Operability (HAZOP) Analysis of Safety-Related Scientific Software [J]. INTERNATIONAL JOURNAL OF RELIABILITY QUALITY & SAFETY ENGINEERING, 2015, 22 (01):