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, 01.09.2018.

Research output: Contribution to journalArticle

Published

Documents

Links

Original languageEnglish
Article number33
Number of pages31
JournalACM Transactions on Cyber-Physical Systems
Volume2
Issue number4
DOIs
StatePublished - 1 Sep 2018
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 31140164