Novel Principles for Developing and Evaluating Distributed Safety-Critical Systems.

Horst F. Wedde Jon A. Lind

Published in: ISADS (1999)

Keyphrases

safety critical
fault tolerant
formal methods
distributed systems
safety analysis
nuclear power plant
embedded systems
agent architecture
support systems
machine learning
artificial intelligence
cooperative
learning systems
expert systems
computing environments