Login / Signup
A Model-Based Safety Analysis of Dependencies Across Abstraction Layers.
Christoph Dropmann
Eike Thaden
Mario Trapp
Denis Uecker
Rakshith Amarnath
Leandro Avila da Silva
Peter Munk
Markus Schweizer
Matthias Jung
Rasmus Adler
Published in:
SAFECOMP (2018)
Keyphrases
</>
safety analysis
nuclear power plant
safety critical
symbolic model checking
control system
fault model
decision support system
model checking
fault tolerant
embedded systems
artificial intelligence
decision making
knowledge base
fuzzy rules
constraint programming