Modeling and analyzing the effects of periodic inspection on the performance of safety-critical systems.

Julia V. Bukowski

Published in: IEEE Trans. Reliab. (2001)

Keyphrases

safety critical
formal methods
safety analysis
agent architecture
embedded systems
expert systems
nuclear power plant
distributed systems
support systems
ambient intelligence
regulatory requirements
artificial intelligence
learning systems
case based reasoning
management system
e learning
decision making