Model-Based Analysis for Safety Critical Software.

Stefan Gulan Jens Harnisch Sven Johr Roberto Kretschmer Stefan Rieger Rafael Zalman

Published in: SAFECOMP (2015)

Keyphrases

safety critical
safety analysis
embedded systems
real time
decision making
fault tolerant
formal methods
artificial intelligence
computational intelligence
decision support
software systems
software intensive systems