scientific article; zbMATH DE number 1754684

zbMATH Open1017.68121MaRDI QIDQ4535112FDOQ4535112

Authors: Frank Cornelissen, Catholijn M. Jonker, Jan Treur 

Publication date: 12 June 2002

Title of this publication is not available (Why is that?)

Recommendations

• Compositionality in state space verification methods
• scientific article; zbMATH DE number 1956591
• Parallel process diagnosis based on qualitative models
• Design and implementation of diagnostic strategies using modal logic
• Abstract patterns of compositional reasoning.

zbMATH Keywords

compositional verificationcomplex knowledge-based systems

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4535112)