No Cover Image

Journal article 280 views 17 downloads

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

Science of Computer Programming

Swansea University Author: Berger, Ulrich

Published in: Science of Computer Programming
ISSN: 01676423
Published: Amsterdam Elsevier 2017
Online Access: Check full text

Tags: Add Tag
No Tags, Be the first to tag this record!
College: College of Science