共 50 条
- [1] Reducing Software Assurance Risks for Security-Critical and Safety-Critical Systems 2014 IEEE LONG ISLAND SYSTEMS, APPLICATIONS AND TECHNOLOGY CONFERENCE (LISAT), 2014,
- [2] A Methodology for Modeling Software Safety in Safety-Critical Computing Systems INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2009, 9 (07): : 185 - 193
- [4] A tool for the design and analysis of software safety-critical systems INFORMATION REUSE AND INTEGRATION, 2001, : 127 - 132
- [5] Software Product Line Engineering for Safety-critical Systems MODELSWARD: PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2019, 2019, : 209 - 216
- [6] Practitioners' Perspectives on Change Impact Analysis for Safety-Critical Software - A Preliminary Analysis COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2016, 2016, 9923 : 346 - 358
- [9] Dependability of safety-critical systems 2004 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), VOLS. 1- 3, 2004, : 1561 - 1566