Login / Signup

Formal Modeling and Verification of Rate Adaptive Pacemakers for Heart Failure.

Moon Soo KimWeiwei AiPartha S. RoopNathan AllenRohit RamchandraJulian Paton
Published in: MEMOCODE (2020)
Keyphrases
  • heart failure
  • data analysis
  • high dimensional
  • domain knowledge
  • model checking
  • magnetic resonance images