No Cover Image

Journal article 742 views 215 downloads

Verification of the European Rail Traffic Management System in Real-Time Maude

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

Science of Computer Programming, Volume: 154, Pages: 61 - 88

Swansea University Authors: Ulrich Berger Orcid Logo, Phillip James Orcid Logo, Markus Roggenbach Orcid Logo, Monika Seisenberger Orcid Logo

  • journalpaper.pdf

    PDF | Accepted Manuscript

    Released under the terms of a Creative Commons Attribution Non-Commercial No Derivatives License (CC-BY-NC-ND).

    Download (583.2KB)
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
Tags: Add Tag
No Tags, Be the first to tag this record!
Keywords: Railway signalling ERTMS/ETCS Hybrid systems Real-Time Maude Model-checking
Start Page: 61
End Page: 88