Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems
| Title | Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | C. Guo, Z. Fu, S. Ren, Y. Jiang, L. Sha |
| Conference Name | 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC) |
| Date Published | July |
| Keywords | 1545008 |
| DOI | 10.1109/COMPSAC.2017.253 |
| Citation Key | Guo2017COMPSAC |