On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers
Marta Kwiatkowska‚ Alexandru Mereacre and Nicola Paoletti
Book Title
6th International Symposium On Leveraging Applications of Formal Methods‚ Verification and Validation (ISoLA)
Pages
365–384
Publisher
Springer
Series
LNCS
Volume
8803
Year
2014