Evolving car designs using model-based automated safety analysis and optimisation techniques.

Yiannis Papadopoulos Christian Grante

Published in: J. Syst. Softw. (2005)

Keyphrases

safety analysis
nuclear power plant
control system
safety critical
fault model
symbolic model checking
real time
state space
fault tolerant