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]
@inproceedings{JiangLKWHSS16,
title = {Use runtime verification to improve the quality of medical care practice},
author = {Yu Jiang and Han Liu and Hui Kong and Rui Wang and Mohammad Hosseini and Jia-Guang Sun and Lui Sha},
year = {2016},
doi = {10.1145/2889160.2889233},
url = {http://doi.acm.org/10.1145/2889160.2889233},
researchr = {https://researchr.org/publication/JiangLKWHSS16},
cites = {0},
citedby = {0},
pages = {112-121},
booktitle = {Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume},
editor = {Laura K. Dillon and Willem Visser and Laurie Williams},
publisher = {ACM},
isbn = {978-1-4503-4205-6},
}