Formally Verified On-Line Diagnosis.

Chris J. Walter Patrick Lincoln Neeraj Suri

Published in: IEEE Trans. Software Eng. (1997)

Keyphrases

medical diagnosis
fault diagnosis
model based diagnosis
diagnostic reasoning
databases
multiple faults
model based reasoning
decision trees
case study
artificial neural networks
causal reasoning
diagnostic tool
medical diagnostic
differential diagnosis