Login / Signup
SAML goes eclipse: combining model-based safety analysis and high-level editor support.
Michael Lipaczewski
Simon Struck
Frank Ortmeier
Published in:
TOPI@ICSE (2012)
Keyphrases
</>
high level
safety analysis
open source
source code
artificial intelligence
real time
control system
decision support system
safety critical