University of Surrey

Test tubes in the lab Research in the ATI Dance Research

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.

[img]
Preview
PDF
nfm_accepted_paper_33.pdf
Available under License : See the attached licence file.

Download (341kB)
[img]
Preview
PDF (licence)
SRI_deposit_agreement.pdf

Download (33kB)
Item Type: Article
Divisions : Faculty of Engineering and Physical Sciences > Computing Science
Authors :
AuthorsEmailORCID
James, PUNSPECIFIEDUNSPECIFIED
Trumble, MUNSPECIFIEDUNSPECIFIED
Treharne, HUNSPECIFIEDUNSPECIFIED
Roggenbach, MUNSPECIFIEDUNSPECIFIED
Schneider, SUNSPECIFIEDUNSPECIFIED
Date : 2013
Identification Number : 10.1007/978-3-642-38088-4_30
Contributors :
ContributionNameEmailORCID
EditorBrat, GUNSPECIFIEDUNSPECIFIED
EditorRungta, NUNSPECIFIEDUNSPECIFIED
EditorVenet, AUNSPECIFIEDUNSPECIFIED
Related URLs :
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 View Item

Downloads

Downloads per month over past year


Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800