共 50 条
- [1] Formal Specification of Substitutability Property for Fault-Tolerance in Reactive Autonomic Systems NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2010, 217 : 357 - 380
- [3] Formal Specification of Button-Related Fault-Tolerance Micropatterns REWRITING LOGIC AND ITS APPLICATIONS, WRLA 2014, 2014, 8663 : 263 - 279
- [4] A formal model for fault-tolerance in distributed systems COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2005, 3688 : 108 - 121
- [5] A Fault-tolerance Framework for Distributed Component Systems PROCEEDINGS OF THE 34TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, 2008, : 84 - 91
- [7] Dynamic Scheduling and Fault-Tolerance: Specification and Verification Real-Time Systems, 2001, 20 : 51 - 81
- [8] Specification and verification of fault-tolerance, timing, and scheduling ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1999, 21 (01): : 46 - 89
- [9] A framework for reconfiguration-based fault-tolerance in distributed systems ARCHITECTING DEPENDABLE SYSTEMS II, 2004, 3069 : 167 - 190
- [10] A scalable fault-tolerance framework for mobile intelligent agent systems 6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XV, PROCEEDINGS: MOBILE/WIRELESS COMPUTING AND COMMUNICATION SYSTEMS III, 2002, : 416 - 419