No Cover Image

Journal article 966 views 183 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

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: Faculty of Science and Engineering
Issue: 2
Start Page: 19
End Page: 31