Software reliability analysis for safety-critical and control systems.

Pramod Kumar Lalit Kumar Singh Chiranjeev Kumar

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

Keyphrases

reliability analysis
safety critical
safety analysis
control system
embedded systems
fault tolerant
formal methods
nuclear power plant
agent architecture
support systems
adaptive systems
condition monitoring
real time
survival analysis
software development
data model
artificial neural networks
data analysis