%0 Conference Paper %1 conf/sac/pandaPRKM21 %A Panda, Abhinandan %A Pinisetty, Srinivas %A Roop, Partha S. %A Babu, K. Ajay %A Manikandan, M. Sabarimalai %B SAC %D 2021 %E Hung, Chih-Cheng %E Hong, Jiman %E Bechini, Alessio %E Song, Eunjee %I ACM %K dblp %P 1837-1840 %T Runtime verification of implantable medical devices using multiple physiological signals. %U http://dblp.uni-trier.de/db/conf/sac/sac2021.html#pandaPRKM21 %@ 978-1-4503-8104-8

@inproceedings{conf/sac/pandaPRKM21, added-at = {2024-02-05T00:00:00.000+0100}, author = {Panda, Abhinandan and Pinisetty, Srinivas and Roop, Partha S. and Babu, K. Ajay and Manikandan, M. Sabarimalai}, biburl = {https://www.bibsonomy.org/bibtex/28c2ba57f6c13deb64391e37f0911ee62/dblp}, booktitle = {SAC}, crossref = {conf/sac/2021}, editor = {Hung, Chih-Cheng and Hong, Jiman and Bechini, Alessio and Song, Eunjee}, ee = {https://doi.org/10.1145/3412841.3442139}, interhash = {960c31277e71588bb15dffc90267596e}, intrahash = {8c2ba57f6c13deb64391e37f0911ee62}, isbn = {978-1-4503-8104-8}, keywords = {dblp}, pages = {1837-1840}, publisher = {ACM}, timestamp = {2024-04-09T12:17:43.000+0200}, title = {Runtime verification of implantable medical devices using multiple physiological signals.}, url = {http://dblp.uni-trier.de/db/conf/sac/sac2021.html#pandaPRKM21}, year = 2021 }