DMCA

A Practical Approach to Runtime Verification of Real-Time Properties for Java Programs

by Christian Colombo , Gordon J. Pace , Gerardo Schneider