New Hybrid Fault Models for Asynchronous Approximate Agreement.

Mohammad H. Azadmanesh Roger M. Kieckhafer

Published in: IEEE Trans. Computers (1996)

Keyphrases

fault models
model based diagnosis
fault model
database
information systems
knowledge base
knowledge representation
model checking
dynamic systems