Journal article 2435 views 334 downloads
On modelling and verifying railway interlockings: Tracking train lengths
Phillip James 
,
Faron Moller ,
Hoang Nga Nguyen,
Markus Roggenbach ,
Steve Schneider,
Helen Treharne
,
Faron Moller ,
Hoang Nga Nguyen,
Markus Roggenbach ,
Steve Schneider,
Helen Treharne
Science of Computer Programming, Volume: 96, Pages: 315 - 336
Swansea University Authors:
Phillip James , Faron Moller , Markus Roggenbach
-
PDF | Accepted Manuscript
Download (654.85KB)
DOI (Published version): 10.1016/j.scico.2014.04.005
Abstract
On modelling and verifying railway interlockings: Tracking train lengths
| Published in: | Science of Computer Programming |
|---|---|
| ISSN: | 01676423 |
| Published: |
2014
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa21769 |
| Start Page: |
315 |
|---|---|
| End Page: |
336 |