Journal article 1674 views 245 downloads
On modelling and verifying railway interlockings: Tracking train lengths
Phillip James
,
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 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Start Page: |
315 |
---|---|
End Page: |
336 |