Net diagnosis using stuck-at and transition fault models.

Lixing Zhao Vishwani D. Agrawal

Published in: VTS (2012)

Keyphrases

fault models
model based diagnosis
fault model
fault management
horn clauses
conflict resolution
databases
bayesian networks
domain knowledge
computer systems