Formal Comparison of Outgoing Event Streams Between Compositional Performance Analysis and Real-Time Calculus.

Victor Pollex, Frank Slomka

Browse the full ECRTS paper archive.