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

Browse the full ICSE paper archive.