Author:
Adeline Bruno,Dersin Pierre,Fabre Éric,Hélouët Loïc,Kecir Karim
Publisher
Springer International Publishing
Reference11 articles.
1. Santiago’s metro map. http://transitmap.net/post/18863388725/santiago
2. Haar, S., Theissing, S.: A hybrid-dynamical model for passenger-flow in transportation systems. In: ADHS’15, IFAC-PapersOnLine, vol. 48(27), pp. 236–241 (2015)
3. Hansen, I.A.: Railway network timetabling and dynamic traffic management. Int. J. Civil Eng. 8(1), 19–32 (2010)
4. Lecture Notes in Computer Science;L Hélouët,2016
5. Horváth, A., Paolieri, M., Ridi, L., Vicario, E.: Transient analysis of non-markovian models using stochastic state classes. Perform. Eval. 69(7–8), 315–335 (2012)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking;Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification;2019