Employing Redundancy to Leverage Cybersecurity Protection of Safety-Critical Systems.

Elena Troubitsyna

Published in: DSA (2023)

Keyphrases

safety critical
formal methods
safety analysis
fault tolerant
embedded systems
distributed systems
agent architecture
nuclear power plant
low cost
data mining
reinforcement learning
expert systems
management system
software engineering