No Cover Image

Book chapter 406 views

OnTrack: An Open Tooling Environment for Railway Verification / Phillip James; Matthew Trumble; Helen Treharne; Markus Roggenbach; Steve Schneider

NASA Formal Methods, Volume: 7871

Swansea University Author: Phillip, James

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