Model and integrate medical resource availability into verifiably correct executable medical guidelines - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha. Model and integrate medical resource availability into verifiably correct executable medical guidelines. In 2017 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2017, Irvine, CA, USA, November 13-16, 2017. pages 964-969, IEEE, 2017. [doi]

This author has not been identified. Look up 'Chunhui Guo' in GoogleThis author has not been identified. Look up 'Zhicheng Fu' in GoogleThis author has not been identified. Look up 'Zhenyu Zhang' in GoogleThis author has not been identified. Look up 'Shangping Ren' in GoogleThis author has not been identified. Look up 'Lui Sha' in Google

runs on WebDSL