共 50 条
- [1] Model-based fault diagnosis for safety-critical chemical reactors: An experimental study AIChE Journal, 70 (12):
- [3] Model-Based Performance Evaluation of Safety-Critical POMDPs IEEE INTERNATIONAL CONFERENCE ON RECENT ADVANCES IN SYSTEMS SCIENCE AND ENGINEERING (IEEE RASSE 2021), 2021,
- [4] Model-Based Validation of Safety-Critical Embedded Systems 2010 IEEE AEROSPACE CONFERENCE PROCEEDINGS, 2010,
- [5] Model-based Automated Safety Analysis Method for Safety-critical System 2024 5TH INTERNATIONAL CONFERENCE ON MECHATRONICS TECHNOLOGY AND INTELLIGENT MANUFACTURING, ICMTIM 2024, 2024, : 55 - 59
- [7] Integrating Safety Certification into Model-based Testing of Safety-critical Systems 2019 IEEE 30TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2019, : 250 - 260
- [8] Model-based assurance evidence management for safety-critical systems SOFTWARE AND SYSTEMS MODELING, 2022, 21 (06): : 2329 - 2365
- [9] A Model-Based Framework to Assess the Reliability of Safety-Critical Applications 2021 24TH INTERNATIONAL SYMPOSIUM ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS & SYSTEMS (DDECS), 2021, : 41 - 44
- [10] Model-Based Deployment Generation for Safety-Critical Avionics Systems 2017 12TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES), 2017, : 174 - 181