Laura Carnevali, Francesco Flammini, Marco Paolieri, Enrico Vicario. Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3. In Marta Beltrán, William J. Knottenbelt, Jeremy T. Bradley, editors, Computer Performance Engineering - 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings. Volume 9272 of Lecture Notes in Computer Science, pages 47-62, Springer, 2015.
Abstract is missing.