Conference Paper/Proceeding/Abstract 415 views
Towards integrated simulation and formal verification of rail yard designs - an experience report based on the UK East Coast Main Line
Lei Chen,
Phillip James,
David Kirkwood,
Hoang Nguyen 
,
Gemma L Nicholson,
Markus Roggenbach
,
Gemma L Nicholson,
Markus Roggenbach
2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT)
Swansea University Author:
Hoang Nguyen
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1109/icirt.2016.7588753
Abstract
Towards integrated simulation and formal verification of rail yard designs - an experience report based on the UK East Coast Main Line
| Published in: | 2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT) |
|---|---|
| ISBN: | 978-1-5090-1556-6 978-1-5090-1555-9 |
| Published: |
IEEE
2016
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa61986 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| College: |
Faculty of Science and Engineering |
|---|