Model-based analysis of secure and patient-dependent pacemaker monitoring systemTsiopoulos, Leonidas; Kuusik, Alar; Vain, Jüri; Bahsi, HayretdinBody Area Networks. Smart IoT and Big Data for Intelligent Health : 15th EAI International Conference, BODYNETS 2020, Tallinn, Estonia, October 21, 2020 : proceedings2020 / p. 77-91 https://doi.org/10.1007/978-3-030-64991-3_6 Journal metrics at scopus Article at Scopus PrefaceAlam, Muhammad Mahtab; Hämäläinen, Matti; Mucchi, Lorenzo; Niazi, Imran Khan; Le Moullec, YannickBody Area Networks. Smart IoT and Big Data for Intelligent Health : 15th EAI International Conference, BODYNETS 2020, Tallinn, Estonia, October 21, 2020 : proceedings2020 / p. V https://link.springer.com/content/pdf/bfm:978-3-030-64991-3/1?pdf=chapter%20toc https://doi.org/10.1007/978-3-030-64991-3 Conference proceeding Article at Scopus