|
[GPM10]
X. Ge, R. Paige and J. McDermid.
Analysing System Failure Behaviours With PRISM.
In Proc. 4th IEEE International Conference on Secure Software Integration and Reliability Improvement Companion, pages 130-136.
2010.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|