CPS Medical, CPS Formal Methods
Date of this Version
Heart Rhythm Journal
Houssam Abbas, Konstantinos Mamouras, Alena Rodionova, Alur Rajeev, Jackson Liang, Sanjay Dixit, and Rahul Mangharam, "A novel programming language to reduce energy consumption by arrhythmia monitoring algorithms in implantable cardioverter-defibrillators", Heart Rhythm Journal . May 2018.
Date Posted: 15 July 2018
This document has been peer reviewed.