共 50 条
- [3] Automated Analysis of Fault-Tolerance in Distributed Systems [J]. Formal Methods in System Design, 2005, 26 : 183 - 196
- [4] Algorithms for testing fault-tolerance of sequenced jobs [J]. JOURNAL OF SCHEDULING, 2009, 12 (05) : 501 - 515
- [5] Algorithms for testing fault-tolerance of sequenced jobs [J]. Journal of Scheduling, 2009, 12 : 501 - 515
- [6] Automated Addition of Fault-Tolerance under Synchronous Semantics [J]. STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, SSS 2013, 2013, 8255 : 266 - 280
- [7] Automated stream-based analysis of fault-tolerance [J]. FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1998, 1486 : 113 - 122