Login / Signup
Optimising Runtime Safety Analysis Efficiency for Self-Organising Systems.
Dominik Klumpp
Axel Habermaier
Benedikt Eberhardinger
Hella Seebach
Published in:
FAS*W@SASO/ICCAC (2016)
Keyphrases
</>
safety analysis
safety critical
nuclear power plant
expert systems
distributed systems
complex systems
fault model
artificial intelligence
information systems
control system
intelligent systems
knowledge based systems
agent architecture
symbolic model checking