Security and Reliability of Safety-Critical RTOS.

Ryan Luna Sheikh Ariful Islam

Published in: SN Comput. Sci. (2021)

Keyphrases

decision support
safety critical
support systems
decision support system
fault tolerant
formal methods
safety analysis
nuclear power plant
embedded systems
agent architecture
information security
regulatory requirements
real time
multi agent systems
distributed systems