C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Utilising Redundancy to Enhance Security of Safety-Critical Systems.
Elena Troubitsyna
Published in:
SAFECOMP Workshops (2023)
Keyphrases
</>
safety critical
embedded systems
fault tolerant
formal methods
safety analysis
support systems
nuclear power plant
real time
user interface
management system
low cost
knowledge based systems
information security
agent architecture