Compositional, Approximate, and Quantitative Reasoning for Medical CPS Download pdf Tags: medical CPS model checking Implantable Cardiac Defibrillators (ICDs) High-Performance Numerical Simulation 1446832 2018 CPS-PI Meeting 2018 Presentation Session 12: LT License: CC-2.5 Submitted by Scott Smolka on Mon, 12/17/2018 - 09:21