A Workflow-Driven Formal Methods Approach to the Generation of Structured Checklists for Intrahospital Patient Transfers.
Areti ManatakiJacques D. FleuriotPetros PapapanagiotouPublished in: IEEE J. Biomed. Health Informatics (2017)
Keyphrases
- formal methods
- formal analysis
- knowledge based systems
- model checking
- model checker
- safety critical
- structured data
- formal specification
- artificial intelligence
- process algebra
- provably correct
- development lifecycle
- petri net
- formal specification language
- easy to follow
- patient data
- data flow
- business processes
- knowledge acquisition