No Cover Image

Journal article 839 views 50 downloads

Techniques for modelling and verifying railway interlockings / 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: Phillip James, Faron Moller, Markus Roggenbach

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!
Issue: 6
Start Page: 685
End Page: 711