DMCA

Safe Runtime Verification of Real-Time Properties

by Christian Colombo , Gordon J. Pace , Gerardo Schneider
Citations:6 - 2 self