共 50 条
- [2] Automated Fault-Tolerance Testing 2016 IEEE NINTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2016, : 275 - 276
- [3] Verification of language based fault-tolerance COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2005, 2005, 3643 : 140 - 149
- [5] Algorithms for testing fault-tolerance of sequenced jobs Journal of Scheduling, 2009, 12 : 501 - 515
- [6] Fault-tolerance model of the information systems MECHANICAL SCIENCE AND TECHNOLOGY UPDATE (MSTU 2019), 2019, 1260
- [7] On fault-tolerance of Grover's algorithm BALTIC JOURNAL OF MODERN COMPUTING, 2012, 787 : 136 - 146
- [8] A formal model for fault-tolerance in distributed systems COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2005, 3688 : 108 - 121
- [9] Fault-tolerance at your Finger Tips with the TeamPlay Coordination Language PROCEEDINGS OF THE 2023 35TH SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, IFL 2023, 2024,
- [10] Fast algorithms for testing fault-tolerance of sequenced jobs with deadlines RTSS 2007: 28TH IEEE INTERNATIONAL REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2007, : 139 - +