Login / Signup
SaSeVAL: A Safety/Security-Aware Approach for Validation of Safety-Critical Systems.
Christian Wolschke
Behrooz Sangchoolie
Jacob Simon
Stefan Marksteiner
Tobias Braun
Hayk Hamazaryan
Published in:
CoRR (2021)
Keyphrases
</>
safety critical
safety analysis
formal methods
fault tolerant
embedded systems
agent architecture
support systems
nuclear power plant
knowledge based systems
adaptive systems
real time
management system
intelligent agents
information security