No Cover Image

Book chapter 315 views

OnTrack: An Open Tooling Environment for Railway Verification / Phillip, James

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

URI: https://cronfa.swan.ac.uk/Record/cronfa37087
Tags: Add Tag
No Tags, Be the first to tag this record!
College: College of Science
End Page: 440