Chunhui Guo, Shangping Ren, Yu Jiang, Po-Liang Wu, Lui Sha, Richard B. Berlin Jr.. Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models. In 7th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2016, Vienna, Austria, April 11-14, 2016. pages 1-10, IEEE Computer Society, 2016. [doi]
Abstract is missing.