Journal article 1231 views 235 downloads
Automated Verification of Signalling Principles in Railway Interlocking Systems
Electronic Notes in Theoretical Computer Science, Volume: 250, Issue: 2, Pages: 19 - 31
Swansea University Author: Anton Setzer
-
PDF | Accepted Manuscript
Download (202.89KB)
DOI (Published version): 10.1016/j.entcs.2009.08.015
Abstract
Automated Verification of Signalling Principles in Railway Interlocking Systems
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: |
Faculty of Science and Engineering |
Issue: |
2 |
Start Page: |
19 |
End Page: |
31 |