No Cover Image

Journal article 934 views 73 downloads

Techniques for modelling and verifying railway interlockings

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