Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines
| Title | Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha |
| Conference Name | 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) |
| Date Published | Nov |
| Keywords | 1545008 |
| Citation Key | Guo2017ICCAD |