Rohit Ramchandra

According to our database, Rohit Ramchandra authored at least 1 paper in 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

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

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020