Marta Z. Kwiatkowska, Alexandru Mereacre. Automated Verification of Quantitative Properties of Cardiac Pacemaker Software. In Volker Turau, Marta Z. Kwiatkowska, Rahul Mangharam, Christoph Weyer, editors, 5th Workshop on Medical Cyber-Physical Systems, MCPS 2014, Berlin, Germany, April 14, 2014. Volume 36 of OASICS, pages 137-140, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2014. [doi]
Abstract is missing.