Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha. Model and integrate medical resource available times and relationships in verifiably correct executable medical best practice guideline models. In Chris Gill, Bruno Sinopoli, Xue Liu 0001, Paulo Tabuada, editors, Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018, Porto, Portugal, April 11-13, 2018. pages 253-262, IEEE / ACM, 2018. [doi]
Abstract is missing.