共 50 条
- [31] Calculation of mission reliability of fault-tolerant storage system Beijing Hangkong Hangtian Daxue Xuebao, 3 (274-276):
- [32] Verification of Fault-Tolerant Protocols with Sally NASA FORMAL METHODS, NFM 2018, 2018, 10811 : 113 - 120
- [33] Design and Verification of Fault-Tolerant Components METHODS, MODELS AND TOOLS FOR FAULT TOLERANCE, 2009, 5454 : 57 - +
- [34] Temporal Verification of Fault-Tolerant Protocols METHODS, MODELS AND TOOLS FOR FAULT TOLERANCE, 2009, 5454 : 44 - 56
- [35] Verification of Fault-Tolerant System Architectures Using Model Checking COMPUTER SAFETY, RELIABILITY, AND SECURITY, 2014, 8696 : 195 - 206
- [36] Cache Support in a High Performance Fault-tolerant Distributed Storage System for Cloud and Big Data 2015 IEEE 29TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS, 2015, : 537 - 546
- [37] A Verification Mechanism for Cloud Brokerage System 2015 SECOND INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE, COMPUTER ENGINEERING, AND SOCIAL MEDIA (CSCESM), 2015, : 143 - 148
- [38] Simulation verification of fault-tolerant brake-by-wire system 1ST INTERNATIONAL INDUSTRIAL SIMULATION CONFERENCE 2003, 2003, : 206 - 210
- [39] A fault-tolerant architecture for ROIA in cloud Journal of Ambient Intelligence and Humanized Computing, 2015, 6 : 587 - 595