共 50 条
- [21] Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis CRITICAL SYSTEMS: FORMAL METHODS AND AUTOMATED VERIFICATION, 2016, 9933 : 97 - 114
- [22] Probabilistic simulation-based analysis of complex real-time systems ISORC 2003: SIXTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2003, : 257 - 266
- [23] Sensitivity Analysis for Arbitrary Activation Patterns in Real-time Systems DESIGN, AUTOMATION & TEST IN EUROPE, 2013, : 135 - 140
- [24] Sensitivity analysis for fixed-priority real-time systems 18TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS, 2006, : 13 - +
- [27] A holistic hardware-software approach for fault-aware embedded systems 2022 25TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), 2022, : 704 - 711
- [29] Real-time and fault-tolerant systems REFINEMENT TECHNIQUES IN SOFTWARE ENGINEERING, 2006, 3167 : 156 - 219