Login / Signup
A simulink hybrid heart model for quantitative verification of cardiac pacemakers.
Taolue Chen
Marco Diciolla
Marta Z. Kwiatkowska
Alexandru Mereacre
Published in:
HSCC (2013)
Keyphrases
</>
computational model
high level
probabilistic model
similarity measure
control system
mathematical model
conceptual model
qualitative and quantitative
objective function
statistical model
experimental data
magnetic resonance images