Login / Signup
Quantitative verification of implantable cardiac pacemakers over hybrid heart models.
Taolue Chen
Marco Diciolla
Marta Z. Kwiatkowska
Alexandru Mereacre
Published in:
Inf. Comput. (2014)
Keyphrases
</>
cardiac motion estimation
probabilistic model
model checking
quantitative and qualitative
learning algorithm
three dimensional
image analysis
prior knowledge
experimental data
medical imaging
qualitative and quantitative
patient specific
left ventricle
beating heart
electrical activity