Journal article 1692 views 199 downloads
Techniques for modelling and verifying railway interlockings
Hoang Nguyen ,
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 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
College: |
Faculty of Science and Engineering |
---|---|
Issue: |
6 |
Start Page: |
685 |
End Page: |
711 |