Medical Protocol Diagnosis Using Formal Methods.
Dominique MéryNeeraj Kumar SinghPublished in: FHIES (2011)
Keyphrases
- formal methods
- model checker
- formal analysis
- medical diagnosis
- medical diagnostic
- medical knowledge
- protocol specification
- knowledge based systems
- critical care
- diagnostic process
- medical doctors
- security properties
- heart disease
- model checking
- formal specification
- safety critical
- cardiovascular disease
- medical experts
- medical practice
- artificial intelligence
- model based diagnosis
- software engineering
- process algebra
- traditional chinese medicine
- reactive systems
- expert systems
- communication protocols
- databases
- formal specification language
- cryptographic protocols
- security protocols
- modeling language
- data model
- web services