共 50 条
- [21] Application protocols for safety-critical CAN-networked systems PROCEEDINGS OF 14TH INTERNATIONAL POWER ELECTRONICS AND MOTION CONTROL CONFERENCE (EPE-PEMC 2010), 2010,
- [22] The Safe and Effective Application of Probabilistic Techniques in Safety-Critical Systems 2020 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED-DESIGN (ICCAD), 2020,
- [23] Towards Integrating Undependable Self-Adaptive Systems in Safety-Critical Environments 2018 IEEE/ACM 13TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS (SEAMS), 2018, : 26 - 32
- [24] A Framework for Software Safety in Safety-Critical Systems NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2008, 182 : 361 - 374
- [27] Parallel Decomposition for Safety-Critical Systems 2013 3RD INTERNATIONAL ELECTRIC DRIVES PRODUCTION CONFERENCE (EDPC), 2013, : 504 - 511
- [29] FORMAL VERIFICATION OF SAFETY-CRITICAL SYSTEMS SOFTWARE-PRACTICE & EXPERIENCE, 1990, 20 (08): : 799 - 821
- [30] On Using Blockchains for Safety-Critical Systems 2018 IEEE/ACM 4TH INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SMART CYBER-PHYSICAL SYSTEMS (SESCPS), 2018, : 30 - 36