Formal Modelling and Validation of Rate−Adaptive Pacemakers
Marta Kwiatkowska‚ Harriet Lea−Banks‚ Alexandru Mereacre and Nicola Paoletti
Book Title
IEEE International Conference on Healthcare Informatics (ICHI)
Pages
23–32
Publisher
IEEE
Year
2014
Marta Kwiatkowska‚ Harriet Lea−Banks‚ Alexandru Mereacre and Nicola Paoletti