Use runtime verification to improve the quality of medical care practice. ICSE (Companion Volume) 2016: 112-121

Yu Jiang, Han Liu, Hui Kong, Rui Wang, Mohammad Hosseini, Jia-Guang Sun, Lui Sha
June 2016
DOI