Compositional, approximate, and quantitative reasoning for medical cyber-physical systems with application to patient-specific cardiac dynamics and devices. Grosu, R., Cherry, E., Clarke, E. M, Cleaveland, R., Dixit, S., Fenton, F. H, Gao, S., Glimm, J., Gray, R. A, Mangharam, R., & others In International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, pages 356–364, 2014. Springer.
bibtex   
@inproceedings{grosu2014compositional,
  title={Compositional, approximate, and quantitative reasoning for medical cyber-physical systems with application to patient-specific cardiac dynamics and devices},
  author={Grosu, Radu and Cherry, Elizabeth and Clarke, Edmund M and Cleaveland, Rance and Dixit, Sanjay and Fenton, Flavio H and Gao, Sicun and Glimm, James and Gray, Richard A and Mangharam, Rahul and others},
  booktitle={International Symposium On Leveraging Applications of Formal Methods, Verification and Validation},
  pages={356--364},
  year={2014},
  organization={Springer}
}

Downloads: 0