Interactive Verification of Medical Guidelines.

Jonathan Schmitt Alwin Hoffmann Michael Balser Wolfgang Reif Mar Marcos

Published in: FM (2006)

Keyphrases

medical knowledge
medical care
medical diagnosis
medical domain
medical experts
model checking
user friendly
medical information
verification method
database
clinical guidelines
face verification
medical data
data visualization
knowledge discovery
case study
artificial intelligence
neural network
real time