|
[LOP+15]
Michael Lipaczewski, Frank Ortmeier, Tatiana Prosvirnova, Antoine Rauzy and Simon Struck.
Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica.
Reliability Engineering & System Safety, 140, pages 191-199.
2015.
[Compares formalisms for safety analyses, with various underlying tools, including PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|