共 50 条
- [43] AADL-based Safety Analysis Approaches for Safety-Critical Systems [J]. 2019 IEEE 12TH CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2019), 2019, : 481 - 482
- [44] A NEW APPROACH TO THE DESIGN OF SAFETY-CRITICAL SYSTEMS BASED ON VIRTUAL PROTOTYPING, ASSERTIONS AND SIMULATION [J]. PROCEEDINGS OF THE 1ST INTERNATIONAL CONFERENCE ON ADVANCED RESEARCH IN VIRTUAL AND RAPID PROTOTYPING, 2003, : 284 - 291
- [45] Safety Analysis and Safety-critical Control of Nonlinear Systems: Barrier Function Approach [J]. Zidonghua Xuebao/Acta Automatica Sinica, 2023, 49 (03): : 567 - 579
- [46] Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems [J]. 2018 29TH IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2018, : 329 - 336
- [47] SAFETY ASSESSMENT FOR SAFETY-CRITICAL SYSTEMS USING MARKOV CHAIN MODULAR APPROACH [J]. INTERNATIONAL JOURNAL OF RELIABILITY QUALITY & SAFETY ENGINEERING, 2011, 18 (02): : 139 - 157
- [48] A Framework for Software Safety in Safety-Critical Systems [J]. NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2008, 182 : 361 - 374
- [49] RFI Monitoring in Support of Safety-Critical Multi-Band GNSS-based Systems [J]. 2019 EUROPEAN NAVIGATION CONFERENCE (ENC), 2019,