Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
A Closed-loop quantitative verification of rate-adaptive pacemakers NICOLA PAOLETTI, University of Oxford, Department of Computer Science ANDREA PATANE` , University of Catania, Department of Mathematics and Computer Sci
Add to Reading List
Document Date: 2017-12-05 09:33:38
Open Document
File Size: 3,17 MB
Share Result on Facebook
UPDATE
A Closed-loop quantitative verification of rate-adaptive pacemakers NICOLA PAOLETTI, University of Oxford, Department of Computer Science ANDREA PATANE` , University of Catania, Department of Mathematics and Computer Sci