Conference Paper/Proceeding/Abstract 1076 views 74 downloads
Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway
Monika Seisenberger 
,
Maurice H. ter Beek ,
Xiuyi Fan ,
Alessio Ferrari ,
Anne E. Haxthausen ,
Phillip James ,
Andrew Lawrence,
Bas Luttik ,
Jaco van de Pol ,
Simon Wimmer
,
Maurice H. ter Beek ,
Xiuyi Fan ,
Alessio Ferrari ,
Anne E. Haxthausen ,
Phillip James ,
Andrew Lawrence,
Bas Luttik ,
Jaco van de Pol ,
Simon Wimmer
Lecture Notes in Computer Science, Volume: 13704, Pages: 246 - 268
Swansea University Authors:
Monika Seisenberger , Phillip James
-
PDF | Accepted Manuscript
Download (268.86KB)
DOI (Published version): 10.1007/978-3-031-19762-8_20
Abstract
Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway
| 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
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa60611 |
| College: |
Faculty of Science and Engineering |
|---|---|
| Start Page: |
246 |
| End Page: |
268 |