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

First Page		Document Content
Date: 2017-11-11 16:45:09		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 Source URL: www.nicolapaoletti.com Download Document from Source Website File Size: 3,45 MB Share Document on Facebook