OnTrack: An Open Tooling Environment for Railway Verification.

James, P, Trumble, M, Treharne, H, Roggenbach, M and Schneider, S (2013) OnTrack: An Open Tooling Environment for Railway Verification. NASA Formal Methods, 7871. pp. 435-440.

Preview	PDF nfm_accepted_paper_33.pdf Available under License : See the attached licence file. Download (341kB)
Preview	PDF (licence) SRI_deposit_agreement.pdf Download (33kB)

Item Type:	Article
Divisions :	Faculty of Engineering and Physical Sciences > Computing Science
Authors :	Authors Email ORCID James, P UNSPECIFIED UNSPECIFIED Trumble, M UNSPECIFIED UNSPECIFIED Treharne, H UNSPECIFIED UNSPECIFIED Roggenbach, M UNSPECIFIED UNSPECIFIED Schneider, S UNSPECIFIED UNSPECIFIED
Date :	2013
Identification Number :	https://doi.org/10.1007/978-3-642-38088-4_30
Contributors :	Contribution Name Email ORCID Editor Brat, G UNSPECIFIED UNSPECIFIED Editor Rungta, N UNSPECIFIED UNSPECIFIED Editor Venet, A UNSPECIFIED UNSPECIFIED
Related URLs :	Publisher
Additional Information :	The original publication is available at http://www.springerlink.com
Depositing User :	Symplectic Elements
Date Deposited :	19 Sep 2013 15:46
Last Modified :	09 Jun 2014 13:40
URI:	http://epubs.surrey.ac.uk/id/eprint/802176

Actions (login required)

View Item

Downloads