Conference Paper/Proceeding/Abstract 956 views
Comparing Formal Verification Approaches of Interlocking Systems
Anne Elisabeth Haxthausen,
Hoang Nguyen 
,
Markus Roggenbach
,
Markus Roggenbach
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Pages: 160 - 177
Swansea University Authors:
Hoang Nguyen , Markus Roggenbach
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1007/978-3-319-33951-1_12
Abstract
Comparing Formal Verification Approaches of Interlocking Systems
| Published in: | Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification |
|---|---|
| ISBN: | 9783319339504 9783319339511 |
| ISSN: | 0302-9743 1611-3349 |
| Published: |
Cham
Springer International Publishing
2015
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa61983 |
| College: |
Faculty of Science and Engineering |
|---|---|
| Start Page: |
160 |
| End Page: |
177 |