No Cover Image

Journal article 670 views 136 downloads

Automated Verification of Signalling Principles in Railway Interlocking Systems

Karim Kanso, Faron Moller, Anton Setzer Orcid Logo

Electronic Notes in Theoretical Computer Science, Volume: 250, Issue: 2, Pages: 19 - 31

Swansea University Author: Anton Setzer Orcid Logo

Published in: Electronic Notes in Theoretical Computer Science
ISSN: 15710661
Published: Preprint 2009
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa108
Tags: Add Tag
No Tags, Be the first to tag this record!
Item Description: In Proceedings of AVOCS'08, Eighth International Workshop on Automated Verification of Critical Systems, Glasgow, UK
College: College of Science
Issue: 2
Start Page: 19
End Page: 31