共 50 条
- [31] Designing a B Model for safety-critical software systems B'98: RECENT ADVANCES IN THE DEVELOPMENT AND USE OF THE B METHOD, 1998, 1393 : 210 - 225
- [33] 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
- [34] A tool for the design and analysis of software safety-critical systems INFORMATION REUSE AND INTEGRATION, 2001, : 127 - 132
- [35] Integrating Safety Certification into Model-based Testing of Safety-critical Systems 2019 IEEE 30TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2019, : 250 - 260
- [37] The Methodology of Software Quality Assurance for Safety-Critical Systems 2015 INTERNATIONAL SIBERIAN CONFERENCE ON CONTROL AND COMMUNICATIONS (SIBCON), 2015,
- [38] Complete Component-Wise Software Certification for Safety-Critical Embedded Devices 2018 IEEE 9TH ANNUAL INFORMATION TECHNOLOGY, ELECTRONICS AND MOBILE COMMUNICATION CONFERENCE (IEMCON), 2018, : 597 - 602