Fingerprint
Dive into the research topics of 'Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts
Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha
Research output: Contribution to journal › Article › peer-review