Alex Baird, Srinivas Pinisetty, Nathan Allen, Nitish D. Patel, Partha S. Roop. Runtime Verification for Clinically Interpretable Arrhythmia Classification. In 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022. pages 1-10, IEEE, 2022. [doi]
@inproceedings{BairdPAPR22,
title = {Runtime Verification for Clinically Interpretable Arrhythmia Classification},
author = {Alex Baird and Srinivas Pinisetty and Nathan Allen and Nitish D. Patel and Partha S. Roop},
year = {2022},
doi = {10.1109/MEMOCODE57689.2022.9954594},
url = {https://doi.org/10.1109/MEMOCODE57689.2022.9954594},
researchr = {https://researchr.org/publication/BairdPAPR22},
cites = {0},
citedby = {0},
pages = {1-10},
booktitle = {20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022},
publisher = {IEEE},
isbn = {979-8-3503-3190-5},
}