Multi-Level Verification of Clinical Protocols.
Georg DuftschmidSilvia MikschYuval ShaharPeter D. JohnsonPublished in: EUROVAV (1998)
Keyphrases
- cryptographic protocols
- evidence based medicine
- model checking
- clinical data
- protocol specification
- medical diagnostic
- clinical diagnosis
- medical practice
- clinical trials
- patient data
- patient records
- medical data
- communication protocols
- clinical decision support
- disease diagnosis
- medical domain
- formal verification
- clinically relevant
- clinical setting
- medical treatment
- formal methods
- neural network
- face verification