Formal Development of Mechanisms for Tolerating Transient Faults.

Dubravka Ilic Elena Troubitsyna Linas Laibinis Colin F. Snook

Published in: RODIN Book (2006)

Keyphrases

knowledge based systems
development process
case study
software engineering
building blocks
control system
fault diagnosis
steady state
design principles
model based diagnosis
development environment
future development
formal descriptions