Closed-loop quantitative verification of rate-adaptive pacemakers
| Title | Closed-loop quantitative verification of rate-adaptive pacemakers |
| Publication Type | Journal Article |
| Year of Publication | 2017 |
| Authors | Nicola Paoletti, Andrea Patanè, Marta Kwiatkowska |
| Journal | ACM Transactions on Cyber-Physical Systems, to appear |
| Keywords | 1446832 |
| Citation Key | paoletti_tcps2017 |