Supporting the Evolution of Distributed, Non-stop, Mission and Safety Critical Systems.

Charles McKay Colin Atkinson

Published in: Informatica (Slovenia) (1995)

Keyphrases

safety critical
fault tolerant
distributed systems
formal methods
support systems
embedded systems
safety analysis
nuclear power plant
cooperative
agent architecture
databases
case based reasoning
low cost
decision support
computing environments
modeling language