No Cover Image

Conference contribution 205 views

Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude / Phillip James; Andrew Lawrence; Markus Roggenbach; Monika Seisenberger

Formal Techniques for Safety-Critical Systems, Volume: 596

Swansea University Author: James, Phillip

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

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:
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!
College: College of Science
End Page: 120