Bruno Adeline, Pierre Dersin, Éric Fabre, Loïc Hélouët, Karim Kecir. An Efficient Evaluation Scheme for KPIs in Regulated Urban Train Systems. In Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky, editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings. Volume 10598 of Lecture Notes in Computer Science, pages 195-211, Springer, 2017. [doi]
Abstract is missing.