Journal article 2252 views 480 downloads
Verification of the European Rail Traffic Management System in Real-Time Maude
Ulrich Berger,
Phillip James 
,
Andrew Lawrence,
Markus Roggenbach ,
Monika Seisenberger
,
Andrew Lawrence,
Markus Roggenbach ,
Monika Seisenberger
Science of Computer Programming, Volume: 154, Pages: 61 - 88
Swansea University Authors:
Ulrich Berger, Phillip James , Markus Roggenbach , Monika Seisenberger
-
PDF | Accepted Manuscript
Released under the terms of a Creative Commons Attribution Non-Commercial No Derivatives License (CC-BY-NC-ND).
Download (583.2KB)
DOI (Published version): 10.1016/j.scico.2017.10.011
Abstract
Verification of the European Rail Traffic Management System in Real-Time Maude
| Published in: | Science of Computer Programming |
|---|---|
| ISSN: | 0167-6423 |
| Published: |
Elsevier BV
2018
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa37102 |
| Keywords: |
Railway signalling ERTMS/ETCS Hybrid systems Real-Time Maude Model-checking |
|---|---|
| College: |
Faculty of Science and Engineering |
| Start Page: |
61 |
| End Page: |
88 |