No Cover Image

Conference contribution 33 views

Formal Methods for Industrial Interlocking Verification / Simon Chadwick; Phillip James; Markus Roggenbach; Tom Wetner

2018 International Conference on Intelligent Rail Transportation (ICIRT), Pages: 1 - 5

Swansea University Author: James, Phillip

Full text not available from this repository: check for access using links below.

DOI (Published version): 10.1109/ICIRT.2018.8641579

Published in: 2018 International Conference on Intelligent Rail Transportation (ICIRT)
ISBN: 978-1-5386-7529-8 978-1-5386-7528-1
Published: Singapore, Singapore 2018
URI: https://cronfa.swan.ac.uk/Record/cronfa49886
Tags: Add Tag
No Tags, Be the first to tag this record!
College: College of Science
Start Page: 1
End Page: 5