共 50 条
- [2] Challenges in Validating Safety-Critical Embedded Systems [J]. SAE INTERNATIONAL JOURNAL OF AEROSPACE, 2010, 3 (01): : 109 - 116
- [3] Towards a Formal Approach to Analysing Security of Safety-Critical Systems [J]. 2018 14TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2018), 2018, : 182 - 189
- [4] Towards an LTCC SiP for Control System in Safety-Critical Applications [J]. 2021 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), 2021,
- [6] A practical implementation of BICS for safety-critical applications [J]. 2000 IEEE INTERNATIONAL WORKSHOP ON DEFECT BASED TESTING, PROCEEDINGS, 2000, : 51 - 56
- [7] Validating Effectiveness of Compliance Evaluation in Safety-Critical Process Assessment [J]. SYSTEMS, SOFTWARE AND SERVICES PROCESS IMPROVEMENT (EUROSPI 2018), 2018, 896 : 181 - 192
- [8] An approach to specifying and verifying safety-critical systems with practical formal method SOFL [J]. FOURTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS - PROCEEDINGS, 1998, : 100 - 114
- [9] Software Qualification Approach for Safety-Critical Software of the Embedded System [J]. COMPUTER APPLICATIONS FOR COMMUNICATION, NETWORKING, AND DIGITAL CONTENTS, 2012, 350 : 175 - +
- [10] A Systematic Knowledge Education Approach for Safety-Critical System Development [J]. KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS 19TH ANNUAL CONFERENCE, KES-2015, 2015, 60 : 960 - 967