No Cover Image

Conference Paper/Proceeding/Abstract 33 views

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

Monika Seisenberger Orcid Logo, Maurice H. ter Beek Orcid Logo, Xiuyi Fan Orcid Logo, Alessio Ferrari Orcid Logo, Anne E. Haxthausen Orcid Logo, Phillip James Orcid Logo, Andrew Lawrence, Bas Luttik Orcid Logo, Jaco van de Pol Orcid Logo, Simon Wimmer Orcid Logo

Lecture Notes in Computer Science, Volume: 13704, Pages: 246 - 268

Swansea University Authors: Monika Seisenberger Orcid Logo, Phillip James Orcid Logo

  • Accepted Manuscript under embargo until: 17th October 2023
Published in: Lecture Notes in Computer Science
ISBN: 9783031197611 9783031197628
ISSN: 0302-9743 1611-3349
Published: Cham Springer Nature Switzerland 2022
Online Access: Check full text

Tags: Add Tag
No Tags, Be the first to tag this record!
College: Faculty of Science and Engineering
Start Page: 246
End Page: 268