Closed-Loop Quantitative Verification of Rate-Adaptive Pacemakers. / Paoletti, Nicola; Patanè, Andrea; Kwiatkowska, Marta.

In: ACM Transactions on Cyber-Physical Systems, Vol. 2, No. 4, 33, 18.09.2018, p. 1-31.

Research output: Contribution to journalArticle

Published

Documents

Links

Original languageEnglish
Article number33
Pages (from-to)1-31
Number of pages31
JournalACM Transactions on Cyber-Physical Systems
Volume2
Issue number4
DOIs
Publication statusPublished - 18 Sep 2018
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 31140164