No Cover Image

Conference Paper/Proceeding/Abstract 369 views

Formal Methods for Industrial Interlocking Verification

Simon Chadwick, Phillip James Orcid Logo, Markus Roggenbach, Tom Wetner

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

Swansea University Author: Phillip James Orcid Logo

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