Incremental Experimentation: a methodology for designing and analyzing distributed safety-critical systems.

Horst F. Wedde Jon A. Lind Andreas Eiss

Published in: RTS (1995)

Keyphrases

safety critical
fault tolerant
distributed systems
formal methods
agent architecture
safety analysis
embedded systems
real time
cooperative
nuclear power plant
knowledge based systems
computing environments
support systems
data mining
management system
regulatory requirements