Book chapter 832 views
OnTrack: An Open Tooling Environment for Railway Verification
Phillip James 
,
Matthew Trumble,
Helen Treharne,
Markus Roggenbach,
Steve Schneider
,
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.
DOI (Published version): 10.1007/978-3-642-38088-4_30
Abstract
OnTrack: An Open Tooling Environment for Railway Verification
| 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: |
Faculty of Science and Engineering |
|---|---|
| End Page: |
440 |