Sign in

SAML goes eclipse: combining model-based safety analysis and high-level editor support.

Michael LipaczewskiSimon StruckFrank 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