Security of Pacemakers using Runtime Verification.

Srinivas Pinisetty, Partha S. Roop, Vidula Sawant, Gerardo Schneider

Browse the full MEMOCODE paper archive.