Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release [PDF]
, 2014 Haxthausen, Anne Elisabeth +2 more
core +3 more sources
Experimental Study on the Interface Characteristics of Reinforced Crushed Rock Cushion Layer Based on Direct Shear Tests. [PDF]
Materials (Basel), 2023 Wang L, Zhu Q, Jia Y, Li H.
europepmc +1 more source
Applicability of Magnetic Sensors in Interlocking Systems. [PDF]
Sensors (Basel), 2022 Gheorghiu RA, Bădău F, Iordache V.
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
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
Assessment of the Risk of Failure in Electric Power Supply Systems for Railway Traffic Control Devices. [PDF]
Sensors (Basel)Ciszewski T +5 more
europepmc +1 more source
Experiencing Model-Driven Engineering for Railway Interlocking Systems
, 2022 Scippacercola F., Zentai A., Russo S.
openaire +2 more sources
Discrete element modeling of the effect of real-shape ballast angularity on sleeper lateral resistance. [PDF]
Sci RepChalabii J, Nagy R, Movahedi Rad M.
europepmc +1 more source