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

Browse the full MEMOCODE paper archive.