No Cover Image

Book chapter 860 views

Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude

Phillip James, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger Orcid Logo

Formal Techniques for Safety-Critical Systems, Volume: 596

Swansea University Author: Monika Seisenberger Orcid Logo

Full text not available from this repository: check for access using links below.

DOI (Published version): 10.1007/978-3-319-29510-7_6

Published in: Formal Techniques for Safety-Critical Systems
ISBN: 978-3-319-29509-1 978-3-319-29510-7
Published: Springer 2016
Tags: Add Tag
No Tags, Be the first to tag this record!
College: Faculty of Science and Engineering