Formal Modelling and Validation of Rate-Adaptive Pacemakers. Kwiatkowska, M., Lea-Banks, H., Mereacre, A., & Paoletti, N. In 2014 IEEE International Conference on Healthcare Informatics, pages 23–32, 2014.
doi  bibtex   
@inproceedings{kwiatkowska_formal_2014,
	title = {Formal {Modelling} and {Validation} of {Rate}-{Adaptive} {Pacemakers}},
	doi = {10/gh25tr},
	booktitle = {2014 {IEEE} {International} {Conference} on {Healthcare} {Informatics}},
	author = {Kwiatkowska, Marta and Lea-Banks, Harriet and Mereacre, Alexandru and Paoletti, Nicola},
	year = {2014},
	pages = {23--32},
}

Downloads: 0