A framework for supporting the development of verifiably safe medical best practice guideline systems

Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha. A framework for supporting the development of verifiably safe medical best practice guideline systems. Journal of Systems Architecture, 104:101693, 2020. [doi]

Abstract

Abstract is missing.