Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems Download pdf Tags: 2015 Quantitative Verification Modeling 2015PIMTG National CPS PI Meeting 2015 Academia CyberHeart Session 3 Session 3 License: CC-2.5 Submitted by Scott Smolka on Tue, 11/17/2015 - 07:43