Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties.

Christian Colombo, Gordon J. Pace, Gerardo Schneider

Browse the full FMICS paper archive.