Summary

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

Details

Page properties

Content

...	...	@@ -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