Medical Guidance Systems Group
Medical Guidance Systems Group
People
Demos
Projects
Publications
Light
Dark
Automatic
Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With Statecharts. IEEE Internet of Things Journal 6(4): 6276-6284
Chunhui Guo
,
Zhicheng Fu
,
Zhenyu Zhang
,
Shangping Ren
,
Lui Sha
June 2019
DOI
Cite
×