Results 251 to 260 of about 285,209 (280)
Some of the next articles are maybe not open access.
Does high-speed railway promote regional innovation growth or innovation convergence?
Technology in Society, 2021Xuehui Yang, Jiaping Zhang
exaly
Formal Modelling and Verification of a Distributed Railway Interlocking System Using UPPAAL
Leveraging Applications of Formal Methods, 2020Per Lange Laursen +2 more
semanticscholar +1 more source
A literature review of Artificial Intelligence applications in railway systems
Transportation Research Part C: Emerging Technologies, 2022, Lorenzo De Donato, Francesco Flammini
exaly
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System
Leveraging Applications of Formal Methods, 2020A. Amendola +8 more
semanticscholar +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
Fault Analysis of Railway Signal Interlocking Equipment
Foreign Language Science and Technology Journal Database Engineering Technology, 2021openaire +1 more source