![](/img/cover-not-exists.png)
[IEEE 2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Beijing, China (2018.10.15-2018.10.18)] 2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Security of Pacemakers using Runtime Verification
Pinisetty, Srinivas, Roop, Partha S, Sawant, Vidula, Schneider, GerardoYear:
2018
Language:
english
DOI:
10.1109/MEMCOD.2018.8556922
File:
PDF, 1.37 MB
english, 2018