No Cover Image

Book chapter 511 views

OnTrack: An Open Tooling Environment for Railway Verification

Phillip James Orcid Logo, Matthew Trumble, Helen Treharne, Markus Roggenbach, Steve Schneider

NASA Formal Methods, Volume: 7871

Swansea University Author: Phillip James Orcid Logo

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

Published in: NASA Formal Methods
ISBN: 978-3-642-38087-7 978-3-642-38088-4
ISSN: 0302-9743 1611-3349
Published: 2013
Online Access: Check full text

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