Automated Verification of Signalling Principles in Railway Interlocking Systems

Journal article 1254 views 242 downloads

Karim Kanso, Faron Moller, Anton Setzer

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

Swansea University Author: Anton Setzer

DOI (Published version): 10.1016/j.entcs.2009.08.015

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

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