Journal article 1236 views 233 downloads
Automated Verification of Signalling Principles in Railway Interlocking Systems
Karim Kanso,
Faron Moller 
,
Anton Setzer
,
Anton Setzer
Electronic Notes in Theoretical Computer Science, Volume: 250, Issue: 2, Pages: 19 - 31
Swansea University Authors:
Faron Moller , Anton Setzer
-
PDF | Accepted Manuscript
Download (217.92KB)
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: |
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: |
Faculty of Science and Engineering |
| Issue: |
2 |
| Start Page: |
19 |
| End Page: |
31 |