기술보고서

기술보고서 게시판 내용
타이틀	Probabilistic Analysis of Distributed Fault-Tolerant Systems
저자	Dutertre, Bruno
Keyword	ALGORITHMS;; COMPLEX SYSTEMS;; COST REDUCTION;; DIAGNOSIS;; FAULT TOLERANCE;; MARKOV CHAINS;; RELIABILITY;; STOCHASTIC PROCESSES;; SURVEYS;; THEOREMS
URL	http://hdl.handle.net/2060/20110011564
보고서번호	NASA/CR-2011-217090
발행년도	2011
출처	NTRS (NASA Technical Report Server)
ABSTRACT	An approach is documented for analyzing probabilistic properties of fault-tolerant distributed systems using the PRISM model checker.