Harriet Lea-Banks

According to our database, Harriet Lea-Banks authored at least 1 paper in 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Formal Modelling and Validation of Rate-Adaptive Pacemakers.

Marta Z. Kwiatkowska, Harriet Lea-Banks, Alexandru Mereacre, Nicola Paoletti

Proceedings of the 2014 IEEE International Conference on Healthcare Informatics, 2014