Laura Carnevali, Luca Santinelli, Giuseppe Lipari. Towards Probabilistic Modeling and Analysis of Real-Time Systems. In Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke, editors, Computer Performance Engineering - 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings. Volume 11178 of Lecture Notes in Computer Science, pages 157-172, Springer, 2018. [doi]
Abstract is missing.