共 50 条
- [21] Security, fault-tolerance and their verification for ambient systems [J]. SECURITY AND PRIVACY IN THE AGE OF UNCERTAINTY, 2003, 122 : 441 - 446
- [22] Models of closed multimachine computer systems with transient-fault-tolerance and fault-tolerance on the basis of replication under byzantine faults [J]. Automation and Remote Control, 2009, 70 : 328 - 343
- [23] A formal model for fault-tolerance in distributed systems [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2005, 3688 : 108 - 121
- [24] Automated Analysis of Fault-Tolerance in Distributed Systems [J]. Formal Methods in System Design, 2005, 26 : 183 - 196
- [28] ALGORITHMIC FAULT-TOLERANCE OF CONTROL-SYSTEMS [J]. AUTOMATION AND REMOTE CONTROL, 1988, 49 (09) : 1109 - 1132
- [29] Estimating circuit fault-tolerance by means of transient-fault injection in VHDL [J]. 6TH IEEE INTERNATIONAL ON-LINE TESTING WORKSHOP, PROCEEDINGS, 2000, : 67 - 72