Results 141 to 150 of about 285,209 (280)

Verification of railway interlocking systems and optimisation of railway traffic

open access: yes, 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

Testing the Migration from Analog to Software-Based Railway Interlocking Systems

open access: yesInternational Conference on Computer Aided Verification
Anna Becchi   +2 more
semanticscholar   +1 more source

Comprehensive risk assessment of Pakistan railway network: A semi-quantitative risk matrix approach. [PDF]

open access: yesHeliyon
Khan S   +6 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy