A Markov model reduction technique for fault tolerant processor reliability analysis

• 容错处理机可靠性分析用的马尔可夫模型简化技术