Da: SpringBooks, Berlin, Germania
Prima edizione
EUR 59,17
Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Very Good. 1. Auflage. Unread, with a mimimum of shelfwear. Immediately dispatched from Germany.
Da: Buchpark, Trebbin, Germania
EUR 30,88
Quantità: 2 disponibili
Aggiungi al carrelloCondizione: 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.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 175,99
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 175,98
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 193,02
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 195,82
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: California Books, Miami, FL, U.S.A.
EUR 209,33
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 197,26
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Books Puddle, New York, NY, U.S.A.
Condizione: New.
Lingua: Inglese
Editore: Springer International Publishing, 2021
ISBN 10: 3030720012 ISBN 13: 9783030720018
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 181,89
Quantità: 1 disponibili
Aggiungi al carrelloBuch. Condizione: 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.
Da: Revaluation Books, Exeter, Regno Unito
EUR 273,90
Quantità: 2 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 259 pages. 9.25x6.10x9.21 inches. In Stock.
Lingua: Inglese
Editore: Springer International Publishing, 2021
ISBN 10: 3030720012 ISBN 13: 9783030720018
Da: moluna, Greven, Germania
EUR 153,73
Quantità: Più di 20 disponibili
Aggiungi al carrelloGebunden. Condizione: 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.
Lingua: Inglese
Editore: Springer International Publishing Jul 2021, 2021
ISBN 10: 3030720012 ISBN 13: 9783030720018
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 181,89
Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: 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.
Da: Majestic Books, Hounslow, Regno Unito
EUR 228,93
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand.
Lingua: Inglese
Editore: Springer, Springer Jul 2021, 2021
ISBN 10: 3030720012 ISBN 13: 9783030720018
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 181,89
Quantità: 1 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. 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 KG, Sachsenplatz 4-6, 1201 Wien 264 pp. Englisch.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 249,44
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND.