Runtime verification of implantable medical devices using multiple physiological signals.

Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop, K. Ajay Babu, M. Sabarimalai Manikandan

Browse the full SAC paper archive.