A Formal Model for Experience-Aided Diagnosis.

Michel P. Féret Janice I. Glasgow

Published in: Comput. Intell. (1997)

Keyphrases

formal model
medical diagnosis
formal models
fault diagnosis
multiple faults
diagnostic reasoning
low cost
user experience
security properties
predicate calculus
fault detection