Login / Signup
Formal Verification of an Agent-Based Support System for Medicine Intake.
Mark Hoogendoorn
Michel C. A. Klein
Zulfiqar Ali Memon
Jan 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