Traceable Threat Modeling for Safety-Critical Systems.

Johannes Geismann

Published in: ICSA Companion (2018)

Keyphrases

safety critical
safety analysis
formal methods
nuclear power plant
embedded systems
distributed systems
intelligent systems
agent architecture
support systems
decision making
management system
fault tolerant
real time
expert systems
adaptive systems