Formal Modelling and Validation of Rate−Adaptive Pacemakers
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
2014
|
| _version_ | 1797080742081069056 |
|---|---|
| author | Kwiatkowska, M Lea−Banks, H Mereacre, A Paoletti, N |
| author_facet | Kwiatkowska, M Lea−Banks, H Mereacre, A Paoletti, N |
| author_sort | Kwiatkowska, M |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T01:04:30Z |
| format | Conference item |
| id | oxford-uuid:8adb3eff-d458-4646-af90-38b9f71b9d90 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T01:04:30Z |
| publishDate | 2014 |
| record_format | dspace |
| spelling | oxford-uuid:8adb3eff-d458-4646-af90-38b9f71b9d902022-03-26T22:34:16ZFormal Modelling and Validation of Rate−Adaptive PacemakersConference itemhttp://purl.org/coar/resource_type/c_5794uuid:8adb3eff-d458-4646-af90-38b9f71b9d90Department of Computer Science2014Kwiatkowska, MLea−Banks, HMereacre, APaoletti, N |
| spellingShingle | Kwiatkowska, M Lea−Banks, H Mereacre, A Paoletti, N Formal Modelling and Validation of Rate−Adaptive Pacemakers |
| title | Formal Modelling and Validation of Rate−Adaptive Pacemakers |
| title_full | Formal Modelling and Validation of Rate−Adaptive Pacemakers |
| title_fullStr | Formal Modelling and Validation of Rate−Adaptive Pacemakers |
| title_full_unstemmed | Formal Modelling and Validation of Rate−Adaptive Pacemakers |
| title_short | Formal Modelling and Validation of Rate−Adaptive Pacemakers |
| title_sort | formal modelling and validation of rate adaptive pacemakers |
| work_keys_str_mv | AT kwiatkowskam formalmodellingandvalidationofrateadaptivepacemakers AT leabanksh formalmodellingandvalidationofrateadaptivepacemakers AT mereacrea formalmodellingandvalidationofrateadaptivepacemakers AT paolettin formalmodellingandvalidationofrateadaptivepacemakers |