Closed-Loop Quantitative Verification of Rate-Adaptive Pacemakers

Nicola Paoletti, Andrea Patanè, Marta Kwiatkowska

Research output: Contribution to journal › Article › peer-review

59 Downloads (Pure)

Original language	English
Article number	33
Pages (from-to)	1-31
Number of pages	31
Journal	ACM Transactions on Cyber-Physical Systems
Volume	2
Issue number	4
DOIs	https://doi.org/10.1145/3152767
Publication status	Published - 18 Sept 2018

Access to Document

@article{5a509a906a5b4363a9d299483f53b59f,

title = "Closed-Loop Quantitative Verification of Rate-Adaptive Pacemakers",

author = "Nicola Paoletti and Andrea Patan{\`e} and Marta Kwiatkowska",

year = "2018",

month = sep,

day = "18",

doi = "10.1145/3152767",

language = "English",

volume = "2",

pages = "1--31",

journal = "ACM Transactions on Cyber-Physical Systems",

publisher = "ACM",

number = "4",

}

TY - JOUR

T1 - Closed-Loop Quantitative Verification of Rate-Adaptive Pacemakers

AU - Paoletti, Nicola

AU - Patanè, Andrea

AU - Kwiatkowska, Marta

PY - 2018/9/18

Y1 - 2018/9/18

U2 - 10.1145/3152767

DO - 10.1145/3152767

M3 - Article

VL - 2

SP - 1

EP - 31

JO - ACM Transactions on Cyber-Physical Systems

JF - ACM Transactions on Cyber-Physical Systems

IS - 4

M1 - 33

ER -