Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models. ICCPS 2016: 34:1-34:10

Chunhui Guo, Shangping Ren, Yu Jiang, Po-Liang Wu, Lui Sha
June 2016
DOI