Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Monika Seisenberger, Maurice H. ter Beek, Xiuyi Fan, Alessio Ferrari 0001, Anne E. Haxthausen, Phillip James, Andrew Lawrence, Bas Luttik, Jaco van de Pol, Simon Wimmer 0001. Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV. Volume 13704 of Lecture Notes in Computer Science, pages 246-268, Springer, 2022. [doi]

This author has not been identified. Look up 'Monika Seisenberger' in GoogleThis author has not been identified. Look up 'Maurice H. ter Beek' in GoogleThis author has not been identified. Look up 'Xiuyi Fan' in GoogleThis author has not been identified. Look up 'Alessio Ferrari 0001' in GoogleThis author has not been identified. Look up 'Anne E. Haxthausen' in GoogleThis author has not been identified. Look up 'Phillip James' in GoogleThis author has not been identified. Look up 'Andrew Lawrence' in GoogleThis author has not been identified. It may be one of the following persons:

Bas Luttik

Look up 'Bas Luttik' in GoogleThis author has not been identified. Look up 'Jaco van de Pol' in GoogleThis author has not been identified. Look up 'Simon Wimmer 0001' in Google

runs on WebDSL