A Case Study in Developing Complex Safety Critical Systems.

Bernd J. Krämer

Published in: HICSS (5) (1997)

Keyphrases

safety critical
fault tolerant
formal methods
embedded systems
safety analysis
support systems
nuclear power plant
agent architecture
learning systems
cooperative
distributed systems