HomeNewsCase StudiesPeoplePublications
[KMP14] M. Kwiatkowska, A. Mereacre, and N. Paoletti. On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers. In Proc. 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), volume 8803 of LNCS, pages 365-384, Springer. 2014. [pdf] [bib]
Downloads:  pdf pdf (3.41 MB)  bib bib
Notes: The original publication is available at www.springerlink.com.