No Cover Image

Conference Paper/Proceeding/Abstract 401 views

Comparing Formal Verification Approaches of Interlocking Systems

Anne Elisabeth Haxthausen, Hoang Nguyen Orcid Logo, Markus Roggenbach Orcid Logo

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Pages: 160 - 177

Swansea University Authors: Hoang Nguyen Orcid Logo, Markus Roggenbach Orcid Logo

Full text not available from this repository: check for access using links below.

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
Tags: Add Tag
No Tags, Be the first to tag this record!
College: Faculty of Science and Engineering
Start Page: 160
End Page: 177