Policy-Based Diabetes Detection using Formal Runtime Verification Monitors.

Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop

Browse the full CBMS paper archive.