No Cover Image

Conference Paper/Proceeding/Abstract 1214 views 372 downloads

Verification of Solid State Interlocking Programs

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

Software Engineering and Formal Methods, Volume: 8368

Swansea University Authors: Phillip James Orcid Logo, Anton Setzer Orcid Logo

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: 2014
URI: https://cronfa.swan.ac.uk/Record/cronfa19414
Tags: Add Tag
No Tags, Be the first to tag this record!
End Page: 268