Simulation-based Verification of Cardiac Pacemakers with Guaranteed Coverage Download Tags: biological networks hybrid systems invariants pacemakers. Safety UIUC verification Medical Devices Health Care Science of Security UIUC NSA SoS Lablets Materials health care medical devices NSA SoS Lablets Materials Science of Security Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems License: Creative Commons 2.5 Submitted by Amy Clay on Tue, 11/17/2015 - 13:40