Validation and Verification of Conceptual Models of Diagnosis.

Frank van Harmelen Annette ten Teije Validation and Verification of Conceptual Models of Diagnosis. 117-128 1997 conf/eurovav/1997 EUROVAV db/conf/eurovav/eurovav1997.html#HarmelenT97