Login / Signup
Harriet Lea-Banks
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Formal Models
Mobile Robot
Genetic Algorithm
Adaptive Control
Top Venues
ICHI
</>
Publications
</>
Marta Z. Kwiatkowska
,
Harriet Lea-Banks
,
Alexandru Mereacre
,
Nicola Paoletti
Formal Modelling and Validation of Rate-Adaptive Pacemakers.
ICHI
(2014)