From Model Checking to Runtime Verification and Back.

Katarna Kejstov, Petr Rockai, Jiri Barnat

Browse the full RV paper archive.