Protocure: Supporting the Development of Medical Protocols through Formal Methods.
Michael BalserÓscar ColtellJoyce van CroonenborgChristoph DuelliFrank van HarmelenAlbert JovellPeter J. F. LucasMar MarcosSilvia MikschWolfgang ReifKitty RosenbrandAndreas SeyfangAnnette ten TeijePublished in: CGP (2004)
Keyphrases
- formal methods
- safety critical
- knowledge based systems
- software engineering
- formal analysis
- decision support
- security properties
- development lifecycle
- model checking
- support systems
- model checker
- artificial intelligence
- knowledge acquisition
- modeling language
- knowledge management
- authentication protocol
- patient care
- provably correct
- protocol specification