Verifying Weakly-Hard Real-Time Properties of Traffic Streams in Switched Networks.

Leonie Ahrendts, Sophie Quinton, Thomas Boroske, Rolf Ernst

Browse the full ECRTS paper archive.