Analysing System Failure Behaviours with PRISM

Xiaocheng Ge, Richard F. Paige, John A. McDermid. Analysing System Failure Behaviours with PRISM. In Fourth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2010, Singapore, June 9-11, 2010 - Companion Volume. pages 130-136, IEEE Computer Society, 2010. [doi]

Abstract

Abstract is missing.