No Cover Image

Conference Paper/Proceeding/Abstract 993 views 335 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
Tags: Add Tag
No Tags, Be the first to tag this record!
End Page: 268