Integrated Analysis of Complex Safety Critical Systems.

Stephen P. Wilson John Alexander McDermid

Published in: Comput. J. (1995)

Keyphrases

safety critical
safety analysis
fault tolerant
formal methods
expert systems
real time
distributed systems
embedded systems
databases
decision making
e learning
user interface
management system
intelligent systems
adaptive systems
nuclear power plant