Banking systems and economic growth: lessons from Britain and Germany in the pre-World War I era [PDF]
Banks and banking - History ; Banks and banking - Germany ; Banks and banking - Great Britain ; Germany ; Great ...
Caroline Fohlin
core
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
Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release [PDF]
, 2014 Haxthausen, Anne Elisabeth +2 more
core +3 more sources
On the Use of Static Checking in the Verification of Interlocking Systems [PDF]
, 2016 A Fantechi +10 more
core +2 more sources
Hunting Network Anomalies in a Railway Axle Counter System. [PDF]
Sensors (Basel), 2023 Kuchar K +5 more
europepmc +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
On the real time modeling of interlocking system of passenger lines of Rawalpindi Cantt train station [PDF]
, 2016 core +1 more source
Towards safe and secure computer based railway interlocking systems [PDF]
International Journal of Transport Development and Integration, 2020 Sébastien Martinez +4 more
openaire +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