Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices.
Radu GrosuElizabeth CherryEdmund M. ClarkeRance CleavelandSanjay DixitFlavio H. FentonSicun GaoJames GlimmRichard A. GrayRahul MangharamArnab RayScott A. SmolkaPublished in: ISoLA (2) (2014)