Conference Paper/Proceeding/Abstract 937 views
Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude
Phillip James 
,
Andrew Lawrence,
Markus Roggenbach,
Monika Seisenberger
,
Andrew Lawrence,
Markus Roggenbach,
Monika Seisenberger
Formal Techniques for Safety-Critical Systems, Volume: 596
Swansea University Author:
Phillip James
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1007/978-3-319-29510-7_6
Abstract
Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude
| Published in: | Formal Techniques for Safety-Critical Systems |
|---|---|
| ISBN: | 978-3-319-29509-1 978-3-319-29510-7 |
| ISSN: | 1865-0929 1865-0937 |
| Published: |
2016
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa37083 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| End Page: |
120 |
|---|