Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
NSF Frontiers Projects
Home
Members
Files
CPS-VO
»
NSF Frontiers Projects
» CYBERHEART
CyberHeart
file
Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems
Submitted by Scott Smolka on Tue, 11/17/2015 - 8:43am. Contributors:
Scott Smolka
Rance Cleaveland
James Glimm
Radu Grosu
Edmund M. Clarke
Sicun Gao
Rahul Mangharam
Sanjay Dixit
Arnab Ray
Flavio Fenton
Elizabeth Cherry
Richard Gray
Quantitative Verification
Modeling
2015PIMTG
Session 3
National CPS PI Meeting 2015
2015
Session 3
Academia
CyberHeart
