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	Text nfm_accepted_paper_33.pdf Available under License : See the attached licence file. Download (341kB)
Preview	Text (licence) SRI_deposit_agreement.pdf Download (33kB)

Item Type:	Article
Divisions :	Faculty of Engineering and Physical Sciences > Computing Science
Authors :	Name Email ORCID James, P Trumble, M Treharne, H Roggenbach, M Schneider, S
Date :	2013
DOI :	10.1007/978-3-642-38088-4_30
Contributors :	Contribution Name Email ORCID http://www.loc.gov/loc.terms/relators/EDT Brat, G http://www.loc.gov/loc.terms/relators/EDT Rungta, N http://www.loc.gov/loc.terms/relators/EDT Venet, A
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 :	31 Oct 2017 15:13
URI:	http://epubs.surrey.ac.uk/id/eprint/802176

Actions (login required)

View Item

Downloads