Login / Signup
Formal Modeling and Verification of Rate Adaptive Pacemakers for Heart Failure.
Moon Soo Kim
Weiwei Ai
Partha S. Roop
Nathan Allen
Rohit Ramchandra
Julian Paton
Published in:
MEMOCODE (2020)
Keyphrases
</>
heart failure
data analysis
high dimensional
domain knowledge
model checking
magnetic resonance images