Conference Paper/Proceeding/Abstract 23231 views 86 downloads
Specifying railway interlocking systems
Karim Kanso,
Anton Setzer 
Pages: 233 - 236
Swansea University Author:
Anton Setzer
-
PDF | Version of Record
Download (133.73KB)
Abstract
Specifying railway interlocking systems
| Published: |
Swansea University
2009
|
|---|---|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa106 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Item Description: |
In AVoCS'09 - Preproceedings of the Ninth International Workshop on Automated Verification of Critical Systems, Gregynog, UK. Technical Report of Computer Science CSR-2-2009 |
|---|---|
| College: |
Faculty of Science and Engineering |
| Start Page: |
233 |
| End Page: |
236 |