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.- Sort by
- Weight
- Alphabetically
Compositional verification of knowledge-based systems: A case study for diagnostic reasoning
F.J. Cornelissen, C.M. Jonker, J. Treur
Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review