From Verified Models to Verified Code for Medical Devices Download pdf Tags: closed-loop medical CPS verified model University of Pennsylvania CPS Domains Health Care Medical Devices Foundations Concurrency and Timing Control Modeling Simulation Validation and Verification 2014 2014 National Workshop on Research Frontiers in Medical CPS Presentation White Paper Academia White Papers White Papers License: CC-2.5 Submitted by Miroslav Pajic on Thu, 02/06/2014 - 16:31