共 50 条
- [1] Engineering safety-related requirements for software-intensive systems [J]. ICSE 05: 27TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2005, : 720 - 721
- [2] SAFETY-RELATED SYSTEMS - COMPETENCE, LIABILITY AND PRACTICE [J]. IEE REVIEW, 1992, 38 (10): : 350 - 351
- [4] ENGINEERING SAFETY-RELATED PARALLEL SYSTEMS [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1994, 36 (07) : 449 - 456
- [5] MISRA Activities for Safety-Related Software Development [J]. SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-ELECTRONIC AND ELECTRICAL SYSTEMS, 2009, 1 (01): : 245 - 248
- [6] COMPILER ISSUES ASSOCIATED WITH SAFETY-RELATED SOFTWARE [J]. NUCLEAR TECHNOLOGY, 1991, 93 (01) : 116 - 122
- [7] 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
- [8] Engineering SCADA products for use in safety-related systems [J]. COMPONENTS OF SYSTEM SAFETY, 2002, : 76 - 90
- [10] Tool Support for Testing safety-related Software on Conformity to Standards [J]. FUNKTIONALE SICHERHEIT: ECHTZEIT 2013, 2013, : 7 - 18