Journal article 2273 views 301 downloads
Techniques for modelling and verifying railway interlockings
Hoang Nguyen 
,
Phillip James ,
Faron Moller ,
Hoang Nga Nguyen,
Markus Roggenbach ,
Steve Schneider,
Helen Treharne
,
Phillip James ,
Faron Moller ,
Hoang Nga Nguyen,
Markus Roggenbach ,
Steve Schneider,
Helen Treharne
International Journal on Software Tools for Technology Transfer, Volume: 16, Issue: 6, Pages: 685 - 711
Swansea University Authors:
Hoang Nguyen , Phillip James , Faron Moller , Markus Roggenbach
-
PDF | Accepted Manuscript
Download (486.44KB)
DOI (Published version): 10.1007/s10009-014-0304-7
Abstract
Techniques for modelling and verifying railway interlockings
| Published in: | International Journal on Software Tools for Technology Transfer |
|---|---|
| ISSN: | 1433-2779 1433-2787 |
| Published: |
2014
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa21770 |
| College: |
Faculty of Science and Engineering |
|---|---|
| Issue: |
6 |
| Start Page: |
685 |
| End Page: |
711 |