Visible to the public Biblio

Filters: Author is Andrea Patanè  [Clear All Filters]
2018-05-11
Nicola Paoletti, Andrea Patanè, Marta Kwiatkowska.  2017.  Closed-loop quantitative verification of rate-adaptive pacemakers. ACM Transactions on Cyber-Physical Systems, to appear.