Compositional Verification of Knowledge-Based Systems: a Case Study for Diagnostic Reasoning

F. Cornelissen, J. Treur, C.M. Jonker

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

Fingerprint

Dive into the research topics of 'Compositional Verification of Knowledge-Based Systems: a Case Study for Diagnostic Reasoning'. Together they form a unique fingerprint.

Engineering & Materials Science