Model-based analysis of secure and patient-dependent pacemaker monitoring system
autor
Tsiopoulos, Leonidas
Kuusik, Alar
Vain, Jüri
Bahsi, Hayretdin
vastutusandmed
Leonidas Tsiopoulos, Alar Kuusik, Jüri Vain, Hayretdin Bahsi
allikas
Body Area Networks. Smart IoT and Big Data for Intelligent Health : 15th EAI International Conference, BODYNETS 2020, Tallinn, Estonia, October 21, 2020 : proceedings
ilmumiskoht
Cham
kirjastus/väljaandja
ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
ilmumisaasta
2020
leheküljed
p. 77-91
seeria-sari
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; 330
konverentsi nimetus, aeg
15th EAI International Conference, BODYNETS 2020, October 21, 2020
konverentsi toimumispaik
Tallinn, Estonia
leitav
https://doi.org/10.1007/978-3-030-64991-3_6
märksõna
elektronseadised
elektrostimulatsioon
meditsiinielektroonika
Scopus
https://www.scopus.com/sourceid/21100220348
https://www.scopus.com/record/display.uri?eid=2-s2.0-85098261411&origin=inward&txGid=6698489899bbdbd4b8cf467742c26840
kvartiil
Q4
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. Computer networks and communications
Arvutiteadus. Arvutivõrgud ja side
võtmesõna
cardiac implanted electronic devices
pacemaker
UPPAAL timed automata
ISSN
1867-8211
ISBN
978-3-030-64990-6
märkused
Bibliogr.: 25 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Kommunikatsioonisüsteemide uurimisrühm
Küberkriminalistika ja küberjulgeoleku keskus
Merenduse küberjulgeoleku keskus
Tugevalt tagatud tarkvara laboratoorium