Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Radu Grosu, Elizabeth Cherry, Edmund M. Clarke, Rance Cleaveland, Sanjay Dixit, Flavio H. Fenton, Sicun Gao, James Glimm, Richard A. Gray, Rahul Mangharam, Arnab Ray, Scott A. Smolka. Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II. Volume 8803 of Lecture Notes in Computer Science, pages 356-364, Springer, 2014. [doi]

This author has not been identified. Look up 'Radu Grosu' in GoogleThis author has not been identified. Look up 'Elizabeth Cherry' in GoogleThis author has not been identified. Look up 'Edmund M. Clarke' in GoogleThis author has not been identified. Look up 'Rance Cleaveland' in GoogleThis author has not been identified. Look up 'Sanjay Dixit' in GoogleThis author has not been identified. Look up 'Flavio H. Fenton' in GoogleThis author has not been identified. Look up 'Sicun Gao' in GoogleThis author has not been identified. Look up 'James Glimm' in GoogleThis author has not been identified. Look up 'Richard A. Gray' in GoogleThis author has not been identified. Look up 'Rahul Mangharam' in GoogleThis author has not been identified. Look up 'Arnab Ray' in GoogleThis author has not been identified. Look up 'Scott A. Smolka' in Google

runs on WebDSL