No Cover Image

Journal article 294 views

Verification of the European Rail Traffic Management System in Real-Time Maude / Ulrich, Berger; Monika, Seisenberger; Markus, Roggenbach; Phillip, James

Science of Computer Programming

Swansesa University Authors: Ulrich, Berger, Monika, Seisenberger, Markus, Roggenbach, Phillip, James

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

Published in: Science of Computer Programming
ISSN: 01676423
Published: 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
College: College of Science