OnTrack: An Open Tooling Environment for Railway Verification.

Journal article

Open access

Peer reviewed

OnTrack: An Open Tooling Environment for Railway Verification.

P James, M Trumble, H Treharne, M Roggenbach and S Schneider

NASA Formal Methods, Vol.7871, pp.435-440

2013

DOI: https://doi.org/10.1007/978-3-642-38088-4_30

Abstract

Files and links (3)

pdf

nfm_accepted_paper_33333.04 kBDownload View

TextSRIDA, Open Access

url

http://dx.doi.org/10.1007/978-3-642-38088-4_30View

Published (Version of record)

url

http://dx.doi.org/10.1007/978-3-642-38088-4View

Metrics

304 File views/ downloads

25 Record Views

Details

Title: OnTrack: An Open Tooling Environment for Railway Verification.
Creators: P James
M Trumble
H Treharne
M Roggenbach
S Schneider
Contributors: G Brat
N Rungta
A Venet
Publication Details: NASA Formal Methods, Vol.7871, pp.435-440
Publisher: Springer
Date published: 2013
Date submitted: 15/09/2013
Identifiers: 99515013102346
Academic Unit: Department of Computer Science
Resource Type: Journal article