共 50 条
- [2] Improving Reliability of Real-Time Systems through Value and Time Voting 2013 IEEE 19TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2013), 2013, : 21 - 30
- [3] Improving Reliability for Real-Time Systems through Dynamic Recovery PROCEEDINGS OF THE 2018 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2018, : 515 - 520
- [5] Algorithm for synthesis of real-time systems under reliability constraints Journal of Computer and Systems Sciences International, 2012, 51 : 410 - 417
- [8] REQUIREMENT SPECIFICATION FOR REAL-TIME AND HYBRID SYSTEMS FORMAL DESCRIPTION TECHNIQUES, VI, 1994, 22 : 269 - 284