Real-Time Runtime Verification on Chip.

Thomas Reinbacher, Matthias Fgger, Jrg Brauer

Browse the full RV paper archive.