IEEE - Institute of Electrical and Electronics Engineers, Inc. - Towards integrated simulation and formal verification of rail yard designs - an experience report based on the UK East Coast Main Line

2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT)

Author(s): Lei Chen ; Phillip James ; David Kirkwood ; Hoang Nga Nguyen ; Gemma L Nicholson ; Markus Roggenbach
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 August 2016
Conference Location: Birmingham, UK
Conference Date: 23 August 2016
Page(s): 347 - 355
ISBN (Electronic): 978-1-5090-1555-9
DOI: 10.1109/ICIRT.2016.7588753
Regular:

The development of railway systems is often supported by a range of tools, each addressing individual, but overlapping concerns such as, e.g., performance or safety analysis. However, it is a... View More

Advertisement