No Cover Image

Journal article 714 views 159 downloads

Automated Verification of Signalling Principles in Railway Interlocking Systems

Karim Kanso, Faron Moller Orcid Logo, Anton Setzer Orcid Logo

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

Swansea University Authors: Faron Moller Orcid Logo, Anton Setzer Orcid Logo

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

URI: https://cronfa.swan.ac.uk/Record/cronfa153
Tags: Add Tag
No Tags, Be the first to tag this record!
Item Description: Proceedings of AVOCS"08. Eighth International Workshop on Automated Verification of Critical Systems. University of Glasgow, 30. Sept. - 1 Oct 2008. Electronic Notes in Theoretical Computer Science 250
College: College of Science
Issue: 2
Start Page: 19
End Page: 31