Closed-Loop Quantitative Verification of Rate-Adaptive Pacemakers

Nicola Paoletti, Andrea Patanè, Marta Kwiatkowska

Research output: Contribution to journalArticlepeer-review

51 Downloads (Pure)
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 Sept 2018

Cite this