Reliability of safety-critical systems: A state-of-the-art review.

Ankur Maurya Divya Kumar

Published in: Qual. Reliab. Eng. Int. (2020)

Keyphrases

safety critical
formal methods
fault tolerant
support systems
agent architecture
safety analysis
nuclear power plant
artificial intelligence
intelligent systems
real time
management system
distributed systems
embedded systems
machine learning
case based reasoning