Verification of Solid State Interlocking Programs

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

End Page:	268