%0 Conference Paper %1 conf/bodynets/TsiopoulosKVB20 %A Tsiopoulos, Leonidas %A Kuusik, Alar %A Vain, Jüri %A Bahsi, Hayretdin %B BODYNETS %D 2020 %E Alam, Muhammad Mahtab %E Hämäläinen, Matti %E Mucchi, Lorenzo %E Niazi, Imran Khan %E Moullec, Yannick Le %I Springer %K dblp %P 77-91 %T Model-Based Analysis of Secure and Patient-Dependent Pacemaker Monitoring System. %U http://dblp.uni-trier.de/db/conf/bodynets/bodynets2020.html#TsiopoulosKVB20 %V 330 %@ 978-3-030-64991-3

@inproceedings{conf/bodynets/TsiopoulosKVB20, added-at = {2020-12-29T00:00:00.000+0100}, author = {Tsiopoulos, Leonidas and Kuusik, Alar and Vain, Jüri and Bahsi, Hayretdin}, biburl = {https://www.bibsonomy.org/bibtex/24f03aea6df88d9d5ba150e125ad88bc9/dblp}, booktitle = {BODYNETS}, crossref = {conf/bodynets/2020}, editor = {Alam, Muhammad Mahtab and Hämäläinen, Matti and Mucchi, Lorenzo and Niazi, Imran Khan and Moullec, Yannick Le}, ee = {https://doi.org/10.1007/978-3-030-64991-3_6}, interhash = {6558fc19f12d87c9856c7d9567a7a7e9}, intrahash = {4f03aea6df88d9d5ba150e125ad88bc9}, isbn = {978-3-030-64991-3}, keywords = {dblp}, pages = {77-91}, publisher = {Springer}, series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering}, timestamp = {2024-04-10T02:39:38.000+0200}, title = {Model-Based Analysis of Secure and Patient-Dependent Pacemaker Monitoring System.}, url = {http://dblp.uni-trier.de/db/conf/bodynets/bodynets2020.html#TsiopoulosKVB20}, volume = 330, year = 2020 }