research
∙
09/23/2019
Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts
Improving the effectiveness and safety of patient care is the ultimate o...
research
∙
11/20/2018
Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines - Technical Report
Improving effectiveness and safety of patient care is an ultimate object...
research
∙
11/20/2018
Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models (Extended Version)
Improving patient care safety is an ultimate objective for medical cyber...
research
∙
11/02/2018