Copula-based reliability and safety analysis of safety-critical systems with dependent failures.

Xujie Jia Liudong Xing Gang Li

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

Keyphrases

safety critical
safety analysis
formal methods
nuclear power plant
fault tolerant
support systems
agent architecture
reliability analysis
embedded systems
control system
adaptive systems
fault model
real time
artificial intelligence
low cost
multi agent systems
decision making
symbolic model checking