Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With Statecharts.
Chunhui GuoZhicheng FuZhenyu ZhangShangping RenLui ShaPublished in: IEEE Internet Things J. (2019)
Keyphrases
- design principles
- formal model
- modeling framework
- computational model
- experimental data
- modeling tool
- formal methods
- modeling method
- simulation model
- conceptual model
- probabilistic model
- similarity measure
- high level
- case study
- mathematical model
- design patterns
- process model
- management system
- probability distribution
- metamodel
- user interface