|
[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 (3.41 MB)
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|