Publications
nal Neural Networks . Technical Report, Project HiDyVe, Grant Agreement 20X1908E. Issue 1.1, 2023-12-21. Mario Gleirscher, Anne E. Haxthausen, and Jan Peleska. Probabilistic Risk Assessment of an Obstacle [...] Peleska, Johannes Feuser, and Anne E. Haxthausen. The Model-Driven openETCS Paradigm for Secure, Safe and Certifiable Train Control Systems, pages 22–52. IGI Global, June 2012 2011 Anne E. Haxthausen, Jan Peleska [...] Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings, volume 14131 of Lecture Notes in Computer Science, pages 183–201. Springer, 2023