Use runtime verification to improve the quality of medical care practice

Yu Jiang, Han Liu, Hui Kong, Rui Wang, Mohammad Hosseini, Jia-Guang Sun, Lui Sha. Use runtime verification to improve the quality of medical care practice. In Laura K. Dillon, Willem Visser, Laurie Williams, editors, Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume. pages 112-121, ACM, 2016. [doi]

Abstract

Abstract is missing.