Conference Paper/Proceeding/Abstract 23342 views 101 downloads
Specifying railway interlocking systems
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 |