Experiences in the Formalisation and Verification of Medical Protocols.
Mar MarcosMichael BalserAnnette ten TeijeFrank van HarmelenChristoph DuelliPublished in: AIME (2003)
Keyphrases
- formal analysis
- cryptographic protocols
- evidence based medicine
- model checking
- protocol specification
- medical practice
- medical diagnosis
- medical domain
- medical information
- communication protocols
- security protocols
- medical experts
- case study
- medical imaging
- formal verification
- data sets
- asynchronous circuits
- verification method
- medical diagnostic
- learning from experience
- medical knowledge
- face verification
- medical students
- medical devices
- medical treatment
- medical data
- transaction processing systems