Cybersecurity in safety-critical systems.

Alastair Walker

Published in: J. Softw. Evol. Process. (2018)

Keyphrases

safety critical
formal methods
safety analysis
embedded systems
support systems
fault tolerant
agent architecture
distributed systems
nuclear power plant
cooperative
expert systems
management system
learning systems
adaptive systems
low cost
knowledge acquisition