Formal verification of collaboration patterns in healthcare.
Petros PapapanagiotouJacques D. FleuriotPublished in: Behav. Inf. Technol. (2014)
Keyphrases
- formal verification
- model checking
- automated verification
- model checker
- bounded model checking
- symbolic model checking
- information systems
- information technology
- health care
- information sharing
- pattern mining
- temporal logic
- frequent patterns
- sharing information
- collaborative learning
- data mining techniques
- knowledge sharing
- theorem proving
- fuzzy set theory
- communication patterns
- cloud computing
- healthcare delivery
- open source