共 50 条
- [1] Model-based fault diagnosis for safety-critical chemical reactors: An experimental study [J]. AIChE Journal, 70 (12):
- [3] Model-Based Performance Evaluation of Safety-Critical POMDPs [J]. IEEE INTERNATIONAL CONFERENCE ON RECENT ADVANCES IN SYSTEMS SCIENCE AND ENGINEERING (IEEE RASSE 2021), 2021,
- [4] Model-Based Validation of Safety-Critical Embedded Systems [J]. 2010 IEEE AEROSPACE CONFERENCE PROCEEDINGS, 2010,
- [6] Integrating Safety Certification into Model-based Testing of Safety-critical Systems [J]. 2019 IEEE 30TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2019, : 250 - 260
- [7] Model-based assurance evidence management for safety-critical systems [J]. SOFTWARE AND SYSTEMS MODELING, 2022, 21 (06): : 2329 - 2365
- [8] A Model-Based Framework to Assess the Reliability of Safety-Critical Applications [J]. 2021 24TH INTERNATIONAL SYMPOSIUM ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS & SYSTEMS (DDECS), 2021, : 41 - 44
- [9] Model-Based Deployment Generation for Safety-Critical Avionics Systems [J]. 2017 12TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES), 2017, : 174 - 181
- [10] An assessment framework for development processes of safety-critical system functions applied to a model-based safety-critical middleware [J]. 2020 AIAA/IEEE 39TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC) PROCEEDINGS, 2020,