共 50 条
- [41] SAFETY ASSESSMENT FOR SAFETY-CRITICAL SYSTEMS USING MARKOV CHAIN MODULAR APPROACH INTERNATIONAL JOURNAL OF RELIABILITY QUALITY & SAFETY ENGINEERING, 2011, 18 (02): : 139 - 157
- [42] An Approach for automated safety testing of safety-critical software system based on safety requirements 2009 INTERNATIONAL FORUM ON INFORMATION TECHNOLOGY AND APPLICATIONS, VOL 3, PROCEEDINGS, 2009, : 166 - 169
- [43] Situational awareness through the interface: Evaluating safety in safety-critical control systems IEE Conference Publication, 1999, (463): : 119 - 124
- [44] Situational awareness through the interface: Evaluating safety in safety-critical control systems PEOPLE IN CONTROL, 1999, (463): : 119 - 124
- [47] A component-based approach to specify hazards in the design of safety-critical systems 2005 3RD IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2005, : 680 - 685
- [49] A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2014, 2014, 8454 : 43 - 57