An Event Stream Driven Approximation for the Analysis of Real-Time Systems.

Karsten Albers, Frank Slomka

Browse the full ECRTS paper archive.