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 ...
The Metropolitan Atlanta Rapid Transit Authority (MARTA) has awarded Stadler Signaling North America a $500 million contract to equip its rapid transit network with Stadler’s NOVA Pro CBTC ...
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 ...
Alstom will supply an on-board automatic train control system for Line 8 of the Paris Metro as part of a wider modernisation programme.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results