Verification and validation in railway signalling engineering : an application of entreprise systems techniques
Year of publication: |
2014
|
---|---|
Authors: | Chen, Xiangxian ; Wang, Dong ; Huang, Hai ; Wang, Zheng |
Published in: |
Enterprise information systems. - Abingdon : Taylor & Francis, ISSN 1751-7575, ZDB-ID 2435748-0. - Vol. 8.2014, 4, p. 490-511
|
Subject: | railway signalling | CBTC | simulation | verification and validation | autonmatic test | EIS | workflow | Signalling | Schienenverkehr | Railway transport | Simulation | Theorie | Theory |
-
A computer simulation model of a private railway system
Broomhead, M. A., (1986)
-
Discrete-event simulation models for assessing incidents in railway systems
Sánchez, Álvaro García, (2011)
-
Niedhart, Nicolas, (2009)
- More ...
-
Chen, Xiangxian, (2013)
-
An approach to automatic development of interlocking logic based on Statechart
Chen, Xiangxian, (2011)
-
An approach to automatic development of interlocking logic based on Statechart
Chen, Xiangxian, (2011)
- More ...