Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST.

Maria Spichkova Jan Olaf Blech Peter Herrmann Heinz W. Schmidt

Published in: MoDeVVa@MoDELS (2014)

Keyphrases

safety critical
formal methods
safety analysis
embedded systems
nuclear power plant
fault tolerant
machine learning
intelligent systems
temporal aspects
expert systems
support systems
information systems
adaptive systems