No Cover Image

Journal article 1692 views 199 downloads

Techniques for modelling and verifying railway interlockings

Hoang Nguyen Orcid Logo, Phillip James Orcid Logo, Faron Moller Orcid Logo, Hoang Nga Nguyen, Markus Roggenbach Orcid Logo, Steve Schneider, Helen Treharne

International Journal on Software Tools for Technology Transfer, Volume: 16, Issue: 6, Pages: 685 - 711

Swansea University Authors: Hoang Nguyen Orcid Logo, Phillip James Orcid Logo, Faron Moller Orcid Logo, Markus Roggenbach Orcid Logo

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