Summary

• Page properties (1 modified, 0 added, 0 removed)

Details

Page properties

Content

...	...	@@ -48,7 +48,7 @@
48	48
49	49	P. Sun, S. Collart-dutilleul and P. Bon, "[[A model pattern of railway interlocking system by Petri nets>>url:https://ieeexplore.ieee.org/document/7223292||shape="rect"]]," 2015 International Conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS), Budapest, Hungary, 2015, pp. 442-449, doi: 10.1109/MTITS.2015.7223292.
50	50
51		-D. Giglio and N. Sacco, "[[A Petri net model for analysis, optimisation, and control of railway networks and train schedules,>>url:https://ieeexplore.ieee.org/document/7795949||shape="rect"]]" 2016 IEEE 19th International Conference on Intelligent Transportation Systems (ITSC), Rio de Janeiro, Brazil, 2016, pp. 2442-2449, doi: 10.1109/ITSC.2016.7795949.
	51	+**[assigned]** D. Giglio and N. Sacco, "[[A Petri net model for analysis, optimisation, and control of railway networks and train schedules,>>url:https://ieeexplore.ieee.org/document/7795949||shape="rect"]]" 2016 IEEE 19th International Conference on Intelligent Transportation Systems (ITSC), Rio de Janeiro, Brazil, 2016, pp. 2442-2449, doi: 10.1109/ITSC.2016.7795949.
52	52	\\A. Consilvio, A. Di Febbraro and N. Sacco, "[[A modular model to schedule predictive railway maintenance operations>>url:https://ieeexplore.ieee.org/document/7223290||shape="rect"]]," 2015 International Conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS), Budapest, Hungary, 2015, pp. 426-433, doi: 10.1109/MTITS.2015.7223290.
53	53
54	54	**[assigned] **W. Carvajal-Carreño, A. P. Cucala García, A. Fernández-Cardador and L. Söder, "[[Efficient driving algorithms for non-disturbed and disturbed trains with the CBTC signalling system,>>url:https://ieeexplore.ieee.org/document/7223289||shape="rect"]]" 2015 International Conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS), Budapest, Hungary, 2015, pp. 418-425, doi: 10.1109/MTITS.2015.7223289.
...	...	@@ -78,7 +78,7 @@
78	78
79	79	Anne E. Haxthausen, Jan Peleska, and Sebastian Kinder. 2011. [[A formal approach for the construction and verification of railway control systems.>>url:https://dl.acm.org/doi/10.1007/s00165-009-0143-6||shape="rect"]] Form. Asp. Comput. 23, 2 (Mar 2011), 191–219. [[https:~~/~~/doi.org/10.1007/s00165-009-0143-6>>url:https://doi.org/10.1007/s00165-009-0143-6||shape="rect"]]
80	80
81		-(% style="color:#222222" %)Yue, Yixiang, et al. "[[Integrated train timetabling and rolling stock scheduling model based on time‐dependent demand for urban rail transit>>url:https://onlinelibrary.wiley.com/doi/10.1111/mice.12300||shape="rect"]]." (% style="text-align:left" %)//Computer‐Aided Civil and Infrastructure Engineering//(% style="color:#222222" %) 32.10 (2017): 856-873.
	81	+(% style="color:#222222" %)**[assigned] **Yue, Yixiang, et al. "[[Integrated train timetabling and rolling stock scheduling model based on time‐dependent demand for urban rail transit>>url:https://onlinelibrary.wiley.com/doi/10.1111/mice.12300||shape="rect"]]." (% style="text-align:left" %)//Computer‐Aided Civil and Infrastructure Engineering//(% style="color:#222222" %) 32.10 (2017): 856-873.
82	82
83	83	(% style="color:#000000" %)Markus Heinrich, Tsvetoslava Vateva-Gurova, Tolga Arul, Stefan Katzenbeisser, Neeraj Suri, Henk Birkholz, Andreas Fuchs, Christoph Krauß, Maria Zhdanova, Don Kuzhiyelil, Sergey Tverdyshev, Christian Schlehuber, "[[Security Requirements Engineering in Safety-Critical Railway Signalling Networks>>url:https://www.hindawi.com/journals/scn/2019/8348925/||shape="rect"]]", (%%)//Security and Communication Networks//(% style="color:#000000" %), vol. 2019, Article ID 8348925, 14 pages, 2019. [[https:~~/~~/doi.org/10.1155/2019/8348925>>url:https://doi.org/10.1155/2019/8348925||shape="rect"]]
84	84