Formal Verification of an Agent-Based Support System for Medicine Intake

Mark Hoogendoorn, Michel C. A. Klein, Zulfiqar A. Memon, J. Treur

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Fingerprint

Dive into the research topics of 'Formal Verification of an Agent-Based Support System for Medicine Intake'. Together they form a unique fingerprint.

Computer Science