共 50 条
- [1] Dependability of safety-critical systems 2004 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), VOLS. 1- 3, 2004, : 1561 - 1566
- [2] A tool for the design and analysis of software safety-critical systems INFORMATION REUSE AND INTEGRATION, 2001, : 127 - 132
- [4] Design pattern for safety-critical knowledge-based systems VALIDATION AND VERIFICATION OF KNOWLEDGE BASED SYSTEMS: THEORY, TOOLS AND PRACTICE, 1999, : 131 - 147
- [6] FORMAL VERIFICATION OF SAFETY-CRITICAL SYSTEMS SOFTWARE-PRACTICE & EXPERIENCE, 1990, 20 (08): : 799 - 821
- [9] A Methodology for Modeling Software Safety in Safety-Critical Computing Systems INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2009, 9 (07): : 185 - 193