共 50 条
- [2] Safety-related data transmission for railway signalling and control [J]. MEASUREMENT & CONTROL, 2007, 40 (10): : 310 - 313
- [3] MISRA Activities for Safety-Related Software Development [J]. SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-ELECTRONIC AND ELECTRICAL SYSTEMS, 2009, 1 (01): : 245 - 248
- [4] COMPILER ISSUES ASSOCIATED WITH SAFETY-RELATED SOFTWARE [J]. NUCLEAR TECHNOLOGY, 1991, 93 (01) : 116 - 122
- [5] PROFESSIONAL COMPETENCE IN SAFETY-RELATED SOFTWARE ENGINEERING [J]. SOFTWARE ENGINEERING JOURNAL, 1995, 10 (02): : 43 - 48
- [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
- [9] Safety and Availability - Basic Attributes of Safety-Related Electronic Systems for Railway Signalling [J]. DEVELOPMENT OF TRANSPORT BY TELEMATICS, TST 2019, 2019, 1049 : 69 - 82
- [10] Human factors in the design of safety-related systems [J]. COMPUTING & CONTROL ENGINEERING JOURNAL, 2000, 11 (01): : 28 - 32