Model and integrate medical resource availability into verifiably correct executable medical guidelines.

Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha

Browse the full ICCAD paper archive.