Search Results for author: Chunhui Guo

Found 1 papers, 0 papers with code

Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts

no code implementations23 Sep 2019 Chunhui Guo, Zhicheng Fu, Zhen-Yu Zhang, Shangping Ren, Lui Sha

The framework allows computer scientists to work together with medical professionals to transform medical best practice guidelines into executable statechart models, Yakindu in particular, so that medical functionalities and properties can be quickly prototyped and validated.

Cannot find the paper you are looking for? You can Submit a new open access paper.