Sign in

Formal Modelling and Validation of Rate-Adaptive Pacemakers.

Marta Z. KwiatkowskaHarriet Lea-BanksAlexandru MereacreNicola Paoletti
Published in: ICHI (2014)
Keyphrases
  • formal model
  • genetic algorithm
  • artificial intelligence
  • data model
  • mobile robot
  • adaptive control
  • formal models
  • model validation