Modellierung und Verifikation medizinischer Leitlinien (Modelling and Verification of Medical Guidelines).
Jonathan SchmittPublished in: it Inf. Technol. (2010)
Keyphrases
- medical knowledge
- medical diagnosis
- medical care
- model checking
- asynchronous circuits
- medical data
- medical records
- verification method
- medical students
- medical domain
- clinical guidelines
- evidence based medicine
- medical imaging
- database
- information systems
- medical diagnostic
- umls metathesaurus
- clinical decision support
- medical information
- formal verification
- medical experts
- health care