No Cover Image

Journal article 726 views 38 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