Login / Signup

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

Mark HoogendoornMichel C. A. KleinZulfiqar Ali MemonJan Treur
Published in: BIOSTEC (Selected Papers) (2008)
Keyphrases
  • formal verification
  • model checking
  • model checker
  • end users
  • data mining
  • digital libraries
  • decision support
  • intelligent agents
  • medical domain
  • medical education