Kangli He, Yixiang Chen, Min Zhang 0007, Yuanrui Zhang. PSTeC: A Location-Time Driven Modelling Formalism for Probabilistic Real-Time Systems. In Anne Remke, Boudewijn R. Haverkort, editors, Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems - 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings. Volume 9629 of Lecture Notes in Computer Science, pages 77-91, Springer, 2016. [doi]
Abstract is missing.