Catastrophe Prevention in Safety-Critical Systems.

Alfs T. Berztiss

Published in: SEKE (1993)

Keyphrases

safety critical
safety analysis
fault tolerant
formal methods
embedded systems
agent architecture
real time
nuclear power plant
adaptive systems
databases
support systems
computational intelligence
medical images
distributed systems
intelligent systems
patient care