OnTrack: An Open Tooling Environment for Railway Verification.
Tools
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.
![]()
|
Text
nfm_accepted_paper_33.pdf Available under License : See the attached licence file. Download (341kB) |
|
![]()
|
Text (licence)
SRI_deposit_agreement.pdf Download (33kB) |
Official URL: http://dx.doi.org/10.1007/978-3-642-38088-4_30
Item Type: | Article | ||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Divisions : | Faculty of Engineering and Physical Sciences > Computing Science | ||||||||||||||||||
Authors : |
|
||||||||||||||||||
Date : | 2013 | ||||||||||||||||||
Identification Number : | 10.1007/978-3-642-38088-4_30 | ||||||||||||||||||
Contributors : |
|
||||||||||||||||||
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 : | 31 Oct 2017 15:13 | ||||||||||||||||||
URI: | http://epubs.surrey.ac.uk/id/eprint/802176 |
Actions (login required)
![]() |
View Item |
Downloads
Downloads per month over past year