Unfortunately, this book can't be printed from the OpenBook. If you need to print pages from this book, we recommend downloading it as a PDF. Visit NAP.edu/10766 to get more information about this ...

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 ...

Effective immediately, the SENCITY SPOT-M Yagi antenna is expanding the CBTC (Communication-Based Train Control) product portfolio from HUBER+SUHNER. This WiFi antenna was specially developed for the ...

HUBER+SUHNER has been chosen to supply Thales with a range of trackside and on-board antennas and cables to support the communications-based train control (CTBC) system of the New York City Subway.

Alstom will supply an on-board automatic train control system for Line 8 of the Paris Metro as part of a wider modernisation programme.