Closing the Loop with Medical Devices Download pdf Tags: CPS Domains Health Care Medical Devices CPS Technologies Design Automation Tools Embedded Software Foundations Concurrency and Timing Real-time Systems Modeling Real-Time Coordination Simulation Validation and Verification Quantitative Verification Probabilistic and Statistical Verification Testing 2013 National CPS PI Meeting 2013 Presentation Academia Session 7: Innovators Forum License: CC-2.5 Submitted by Rahul Mangharam on Thu, 11/07/2013 - 14:19