Verification of Solid State Interlocking Programs

Conference Paper/Proceeding/Abstract 1882 views 521 downloads

Phillip James

, Andy Lawrence, Faron Moller, Markus Roggenbach, Monika Seisenberger, Anton Setzer

, Karim Kanso, Simon Chadwick

Software Engineering and Formal Methods, Volume: 8368

Swansea University Authors: Phillip James , Anton Setzer

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

End Page:	268