Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction).

Ezio Bartocci, Ylis Falcone

Browse the full ISoLA paper archive.