共 50 条
- [22] Assurance for Integrating Advanced Algorithms in Autonomous Safety-Critical Systems IEEE SYSTEMS JOURNAL, 2021, 15 (04): : 4852 - 4863
- [24] Software Certification for Safety-Critical Systems: A Status Report 2008 INTERNATIONAL MULTICONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (IMCSIT), VOLS 1 AND 2, 2008, : 618 - +
- [25] 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
- [26] Ensuring system and software reliability in safety-critical systems 1998 IEEE WORKSHOP ON APPLICATION-SPECIFIC SOFTWARE ENGINEERING AND TECHNOLOGY (ASSET 98) - PROCEEDINGS, 1998, : 48 - 53
- [27] 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
- [28] A tool for the design and analysis of software safety-critical systems INFORMATION REUSE AND INTEGRATION, 2001, : 127 - 132