Conference
Analysing System Failure Behaviours with PRISM
Authors
Ge X; Paige RF; McDermid JA
Pagination
pp. 130-136
Publisher
IEEE
Publication Date
June 2010
ISBN-13
9781424476442
DOI
10.1109/SSIRI-C.2010.32
Conference proceedings
2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion