Summary

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

Details

Page properties

Content

...	...	@@ -96,7 +96,7 @@
96	96	Ferlin, A., Qiu, S., Bon, P., Sallak, M., Dutilleul, S. C., Schön, W., & Cherfi-Boulanger, Z. (2018). [[An automated method for the study of human reliability in railway supervision systems>>url:https://ieeexplore.ieee.org/document/8283579]]. //IEEE Transactions on Intelligent Transportation Systems//, //19//(10), 3360-3375.
97	97
98	98	(% style="margin-left: 30.0px;" %)
99		-Peleska, Jan, Anne E. Haxthausen, and Thierry Lecomte. "[[Standardisation considerations for autonomous train control.>>url:https://link.springer.com/chapter/10.1007/978-3-031-19762-8_22]]" Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV. Cham: Springer Nature Switzerland, 2022.
	99	+**[assigned] **Peleska, Jan, Anne E. Haxthausen, and Thierry Lecomte. "[[Standardisation considerations for autonomous train control.>>url:https://link.springer.com/chapter/10.1007/978-3-031-19762-8_22]]" Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV. Cham: Springer Nature Switzerland, 2022.
100	100
101	101	(% style="margin-left: 30.0px;" %)
102	102	Basile, D., ter Beek, M.H., Legay, A. (2020). [[Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego>>url:https://link.springer.com/chapter/10.1007/978-3-030-50086-3_1]]. In: Gotsman, A., Sokolova, A. (eds) Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2020. Lecture Notes in Computer Science(), vol 12136. Springer, Cham. [[https:~~/~~/doi.org/10.1007/978-3-030-50086-3_1>>url:https://doi.org/10.1007/978-3-030-50086-3_1]]