Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica

Michael Lipaczewski, Frank Ortmeier, Tatiana Prosvirnova, Antoine Rauzy, Simon Struck. Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica. Rel. Eng. & Sys. Safety, 140:191-199, 2015. [doi]

Abstract

Abstract is missing.