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

• A Markov model reduction technique for fault tolerant processor reliability analysis