Rolling stock manufacturer Stadler is to equip trams in Basel in Switzerland with the communication-based train control ...

Stadler has been commissioned by BLT Baselland Transport AG to equip its core network in Basel with its CBTC system NOVA Pro.

Formal methods encompass mathematically rigorous techniques for the specification, development and verification of safety‐critical railway systems. In the context of modern railway transport, these ...

A wireless communication-based train control system, which enables real-time tracking of train locations and reduces headways ...