共 50 条
- [42] A unified fault-tolerance protocol FORMAL TECHNIQUES, MODELLING AND ANALYSIS OF TIMED AND FAULT-TOLERANT SYSTEMS, PROCEEDINGS, 2004, 3253 : 167 - 182
- [43] Automated Fault-Tolerance Testing 2016 IEEE NINTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2016, : 275 - 276
- [47] Automating the addition of fault-tolerance FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, PROCEEDINGS, 2000, 1926 : 82 - 93
- [48] Fault simulation to validate fault-tolerance in Ada COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2000, 15 (01): : 61 - 67
- [49] Dynamic Fault-tolerance and Mobility Provisioning for Services on Mobile Cloud Platforms 2017 5TH IEEE INTERNATIONAL CONFERENCE ON MOBILE CLOUD COMPUTING, SERVICES, AND ENGINEERING (MOBILECLOUD), 2017, : 131 - 138
- [50] Towards middleware for fault-tolerance in distributed real-time and embedded systems DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, 2008, 5053 : 72 - +