No Cover Image

Conference Paper/Proceeding/Abstract 23342 views 101 downloads

Specifying railway interlocking systems

Karim Kanso, Anton Setzer Orcid Logo

Pages: 233 - 236

Swansea University Author: Anton Setzer Orcid Logo

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