Operating rules interoperability trans national (4 Ergebnisse)

Titel
Mit der Detailsuche verfeinern

Optimieren Sie Ihre Suche

  • Bücher (4)

bis

Benutzerdefinierte Preisspanne (EUR)

bis

  • Sprache: Englisch

    Verlag: Springer, 2021

    3030720012 / 9783030720018

    • Hardcover

    Anbieter: Buchpark, Trebbin, DeutschlandBuchpark

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Gebraucht

    EUR 27,79

    EUR 105,00 Versand 
    Versand von Deutschland nach USA

    Anzahl: 1 verfügbar

    Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 264 | Sprache: Englisch | Produktart: Bücher | This book examines the problem of interoperability related to operating rules and gives an overview of the formal method approaches related to this subject. The book examines the interoperability issues concerning implementation of European Rail Traffic Management System (ERTMS) while crossing a boarder. It also looks at the implementing of the ERTMS and provides solutions regarding operating rules for ERTMS lines, using formal methods and simulation tools. The contributors will also discuss operating rule validation and formal methods for safety assessment.

  • Sprache: Englisch

    Verlag: Springer, 2021

    3030720012 / 9783030720018

    • Hardcover

    Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 195,82

    EUR 13,16 Versand 
    Versand von Vereinigtes Königreich nach USA

    Anzahl: Mehr als 20 verfügbar

    Zustand: New. In English.

  • Sprache: Englisch

    Verlag: Springer Nature, 2021

    3030720012 / 9783030720018

    • Hardcover

    Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 277,88

    EUR 14,57 Versand 
    Versand von Vereinigtes Königreich nach USA

    Anzahl: 2 verfügbar

    Hardcover. Zustand: Brand New. 259 pages. 9.25x6.10x9.21 inches. In Stock.

  • Sprache: Englisch

    Verlag: Springer, 2021

    3030720012 / 9783030720018

    • Hardcover

    Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 253,89

    EUR 30,50 Versand 
    Versand von Deutschland nach USA

    Anzahl: 1 verfügbar

    Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This bookexamines theproblem of interoperability related to operating rules andgives an overview of the formal method approaches related to this subject. The book examines the interoperability issues concerning implementation of European Rail Traffic Management System (ERTMS) while crossing a boarder. It also looks at the implementing of the ERTMS and provides solutions regarding operating rules for ERTMS lines, using formal methods and simulation tools.The contributors will also discuss operating rule validation and formal methods for safety assessment.