On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers.

Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti

Browse the full ISoLA paper archive.