Reliability demonstration for safety-critical systems.

Oded Tal Chris McCollin Tony Bendell

Published in: IEEE Trans. Reliab. (2001)

Keyphrases

safety critical
formal methods
safety analysis
agent architecture
fault tolerant
embedded systems
machine learning
nuclear power plant
learning systems
adaptive systems
regulatory requirements
real time
case based reasoning
distributed systems
intelligent systems