full record print

Model-based analysis of secure and patient-dependent pacemaker monitoring system

author
statement of authorship
Leonidas Tsiopoulos, Alar Kuusik, Jüri Vain, Hayretdin Bahsi
source
location of publication
Cham
publisher
year of publication
pages
p. 77-91
series
conference name, date
15th EAI International Conference, BODYNETS 2020, October 21, 2020
conference location
Tallinn, Estonia
url
ISSN
1867-8211
ISBN
978-3-030-64990-6
notes
Bibliogr.: 25 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
Reserch Group
Communication systems research group
Centre for digital forensics and cyber security
Centre for maritime cybersecurity
High-assurance software laboratory
Tsiopoulos, L., Kuusik, A., Vain, J., Bahsi, H. Model-based analysis of secure and patient-dependent pacemaker monitoring system // Body Area Networks. Smart IoT and Big Data for Intelligent Health : 15th EAI International Conference, BODYNETS 2020, Tallinn, Estonia, October 21, 2020 : proceedings. Cham : ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 2020. p. 77-91. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; 330). https://doi.org/10.1007/978-3-030-64991-3_6