On the Convolution Efficiency for Probabilistic Analysis of Real-Time Systems.

Filip Markovic, Alessandro Vittorio Papadopoulos, Thomas Nolte

Browse the full ECRTS paper archive.