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 ...
ASIA: Taiwanese mission-critical networking company Nexcom and Japanese 5G industrial communications supplier Hytec Inter are ...
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 ...
Semi-automated test runs using the subway prototype for Frankfurt’s digital train control system. Credit: VGF. Siemens Mobility has announced that a prototype metro train equipped with a digital train ...
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