Librería: SpringBooks, Berlin, Alemania
Original o primera edición
EUR 59,17
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Very Good. 1. Auflage. Unread, with a mimimum of shelfwear. Immediately dispatched from Germany.
Librería: Buchpark, Trebbin, Alemania
EUR 26,99
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: 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.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 169,50
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 186,11
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 218,93
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New.
Publicado por Springer International Publishing, Springer Nature Switzerland Jul 2021, 2021
ISBN 10: 3030720012 ISBN 13: 9783030720018
Idioma: Inglés
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 181,89
Cantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.
Publicado por Springer International Publishing, 2021
ISBN 10: 3030720012 ISBN 13: 9783030720018
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 181,89
Cantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: 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.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 274,73
Cantidad disponible: 2 disponibles
Añadir al carritoHardcover. Condición: Brand New. 259 pages. 9.25x6.10x9.21 inches. In Stock.
Publicado por Springer International Publishing, 2021
ISBN 10: 3030720012 ISBN 13: 9783030720018
Idioma: Inglés
Librería: moluna, Greven, Alemania
EUR 153,73
Cantidad disponible: Más de 20 disponibles
Añadir al carritoGebunden. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Presents modern solutions for safety and interoperability validationDiscusses the efficiency of different tools used at different steps of the analysing processCovers trackside infrastructure modelling, signalling and operating rule ana.
Publicado por Springer International Publishing Jul 2021, 2021
ISBN 10: 3030720012 ISBN 13: 9783030720018
Idioma: Inglés
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 181,89
Cantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 264 pp. Englisch.
Publicado por Springer Nature Switzerland, 2021
ISBN 10: 3030720012 ISBN 13: 9783030720018
Idioma: Inglés
Librería: preigu, Osnabrück, Alemania
EUR 160,10
Cantidad disponible: 5 disponibles
Añadir al carritoBuch. Condición: Neu. Operating Rules and Interoperability in Trans-National High-Speed Rail | Simon Collart-Dutilleul | Buch | xix | Englisch | 2021 | Springer Nature Switzerland | EAN 9783030720018 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 234,45
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 234,05
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND.