共 50 条
- [3] REAL-TIME SAFETY-CRITICAL SYSTEMS - ANALYSIS AND SYNTHESIS [J]. SOFTWARE ENGINEERING JOURNAL, 1994, 9 (06): : 267 - 281
- [4] Scheduling and Timing Analysis for SAFETY-CRITICAL REAL-TIME SYSTEMS [J]. ELECTRONICS WORLD, 2010, 116 (1886): : 18 - 20
- [5] Schedulincr and timina analysis for safety-critical real-time systems [J]. Electronics World, 2010, 116 (1887): : 18 - 20
- [6] Schedulability of Real-Time Systems with Enhanced Safety [J]. MULTIMEDIA AND UBIQUITOUS ENGINEERING, 2014, 308 : 391 - 398
- [7] Explaining Safety Violations in Real-Time Systems [J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS 2021, 2021, 12860 : 100 - 116
- [8] Response time analysis of systems with real-time and non real-time processing [J]. 7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL II, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING, 2003, : 124 - 129
- [9] Specification and analysis of real-time systems using Real-Time Maude [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 2984 : 354 - 358