Back to Results
First PageMeta Content
Mathematical analysis / Mathematics / Embedded systems / Prosthetics / Artificial cardiac pacemaker / Cardiac electrophysiology / Cybernetics / Neuroprosthetics / IP / Analysis / FO / Dirac delta function


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