Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
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]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Towards Verifiable Safe and Correct Medical Best Practice Guideline SystemsChunhui Guo, Zhicheng Fu, Shangping Ren, Yu Jiang, Lui Sha. compsac 2017: 760-765 [doi] Model and integrate medical resource available times and relationships in verifiably correct executable medical best practice guideline modelsChunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha. iccps 2018: 253-262 [doi]
The following publications are possibly variants of this publication: