Time-Triggered Runtime Verification of Component-Based Multi-core Systems.

Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister

Browse the full RV paper archive.