[IEEE 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS) - Vienna, Austria (2016.4.11-2016.4.14)] 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS) - Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models
Guo, Chunhui, Ren, Shangping, Jiang, Yu, Wu, Po-Liang, Sha, Lui, Berlin, Richard B.Year:
2016
Language:
english
DOI:
10.1109/iccps.2016.7479121
File:
PDF, 612 KB
english, 2016