|
[LSO12]
Michael Lipaczewski, Simon Struck and Frank Ortmeier.
Using Tool-Supported Model Based Safety Analysis - Progress and Experiences in SAML Development.
In Proc. 14th International IEEE Symposium on High-Assurance Systems Engineering (HASE'12), pages 159-166.
2012.
[Presents tool support for the safety analysis modelling language (SAML), which connects to PRISM for probabilistic verification.]
|
|
Links:
[Google]
[Google Scholar]
|