Analytical Approximations in Probabilistic Analysis of Real-Time Systems.

Filip Markovic, Thomas Nolte, Alessandro Vittorio Papadopoulos

Browse the full RTSS paper archive.