Results 201 to 210 of about 15,562 (227)
Some of the next articles are maybe not open access.
An Experience in Railway interlocking System Specification and formal Verification
2003L'Harmattan Hongrie ...
CHIANESE R. +5 more
openaire +3 more sources
Resilience in railway transport systems: a literature review and research agenda
Transport Reviews, 2020Nikola Bešinović
exaly
Railway interlocking detection system
AIP Conference ProceedingsShraddha Dhere +3 more
openaire +1 more source
Does high-speed railway promote regional innovation growth or innovation convergence?
Technology in Society, 2021Xuehui Yang, Jiaping Zhang
exaly
A literature review of Artificial Intelligence applications in railway systems
Transportation Research Part C: Emerging Technologies, 2022, Lorenzo De Donato, Francesco Flammini
exaly
Automatic verification of railway interlocking systems
Proceedings of the second workshop on Formal methods in software practice - FMSP '98, 1998openaire +1 more source
An overview of recovery models and algorithms for real-time railway rescheduling
Transportation Research Part B: Methodological, 2014Valentina Cacchiani +2 more
exaly
Challenges Toward Wireless Communications for High-Speed Railway
IEEE Transactions on Intelligent Transportation Systems, 2014Bo Ai, Zhang-Dui Zhong, Lei Xiong
exaly
Research and development of automatic train operation for railway transportation systems: A survey
Transportation Research Part C: Emerging Technologies, 2017Jiateng Yin, Lixing Yang
exaly