Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models
| Title | Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | C. Guo, S. Ren, Y. Jiang, P. L. Wu, L. Sha, R. B. Berlin |
| Conference Name | 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS) |
| Date Published | April |
| Keywords | 1545008 |
| DOI | 10.1109/ICCPS.2016.7479121 |
| Citation Key | Guo2016ICCPS |