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]
@inproceedings{GrosuCCCDFGGGMRS14,
title = {Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices},
author = {Radu Grosu and Elizabeth Cherry and Edmund M. Clarke and Rance Cleaveland and Sanjay Dixit and Flavio H. Fenton and Sicun Gao and James Glimm and Richard A. Gray and Rahul Mangharam and Arnab Ray and Scott A. Smolka},
year = {2014},
doi = {10.1007/978-3-662-45231-8_26},
url = {http://dx.doi.org/10.1007/978-3-662-45231-8_26},
researchr = {https://researchr.org/publication/GrosuCCCDFGGGMRS14},
cites = {0},
citedby = {0},
pages = {356-364},
booktitle = {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},
editor = {Tiziana Margaria and Bernhard Steffen},
volume = {8803},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-662-45230-1},
}