Formal modelling and verification of interlocking systems featuring sequential release [PDF]
, 2017 Haxthausen, Anne Elisabeth +2 more
core +1 more source
Verification of railway interlocking systems and optimisation of railway traffic
, 2017 Since the dawn of the nineteenth century, development of railway systems has taken a huge importance in many countries. Over the years, the number of trains, the number of tracks, the complexity of networks increase and are still increasing. Directing trains on efficient routes, stopping and cancelling them are some actions that railway operators must ...
openaire +1 more source
Research on the Visualization of Railway Signal Operation and Maintenance Based on BIM + GIS. [PDF]
Sensors (Basel), 2023 Liu Y, Lin H, Zhao Z, Bai W, Hu N.
europepmc +1 more source
Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release [PDF]
, 2014 Haxthausen, Anne Elisabeth +2 more
core +3 more sources
Technical feasibility analysis and introduction strategy of the virtually coupled train set concept. [PDF]
Sci Rep, 2022 Stickel S +8 more
europepmc +1 more source
On the Use of Static Checking in the Verification of Interlocking Systems [PDF]
, 2016 A Fantechi +10 more
core +2 more sources
Characterizing Particle-Scale Acceleration of Mud-Pumping Ballast Bed of Heavy-Haul Railway Subjected to Maintenance Operations. [PDF]
Sensors (Basel), 2022 Wang M +5 more
europepmc +1 more source
Enhancing Railway Track Stabilization with Epoxy Resin and Crumb Rubber Powder-Modified Cement Asphalt Mortar. [PDF]
Polymers (Basel), 2023 Lee SY, Yun YM, Le THM.
europepmc +1 more source
On the real time modeling of interlocking system of passenger lines of Rawalpindi Cantt train station [PDF]
, 2016 core +1 more source
Sensor-Based Cyber Risk Management in Railway Infrastructure Under the NIS2 Directive. [PDF]
Sensors (Basel)Wachnik R, Chruzik K, Pochopień B.
europepmc +1 more source