No Cover Image

Book chapter 867 views

Verification of Solid State Interlocking Programs

Phillip James, Andy Lawrence, Faron Moller Orcid Logo, Markus Roggenbach, Monika Seisenberger Orcid Logo, Anton Setzer, Karim Kanso, Simon Chadwick

Software Engineering and Formal Methods, Volume: 8368, Pages: 253 - 268

Swansea University Authors: Faron Moller Orcid Logo, Monika Seisenberger Orcid Logo

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

DOI (Published version): 10.1007/978-3-319-05032-4_19

Published in: Software Engineering and Formal Methods
ISBN: 978-3-319-05031-7978-3-319-05032-4
Published: Springer 2014
URI: https://cronfa.swan.ac.uk/Record/cronfa19511
Tags: Add Tag
No Tags, Be the first to tag this record!
College: College of Science
Start Page: 253
End Page: 268