Operating Rules and Interoperability in Trans-National High-Speed Rail -
- Format: Relié Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre207,57 €
Produit Neuf
Ou 51,89 € /mois
- Livraison à 0,01 €
- Livré entre le 5 et le 12 mai
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783030720018_dbm
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Operating Rules And Interoperability In Trans - National High - Speed Rail de Format Relié - Livre Littérature Générale
0 avis sur Operating Rules And Interoperability In Trans - National High - Speed Rail de Format Relié - Livre Littérature Générale
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Canine Rehabilitation And Physical Therapy
Neuf dès 156,59 €
Occasion dès 123,46 €
-
Conformal Field Theory
Neuf dès 190,65 €
Occasion dès 130,39 €
-
Erazer Beast 16 X1 Ultimate (Md 62732) Intel Core Ultra 9 275hx Ordinateur Portable 16" Quad Hd+ 32 Go Ddr5-Sdram 2 To Ssd Nvidia Geforce Rtx 5090 Wi-Fi 6e (802.11ax) Windows 11 Home Noir
Neuf dès 107,15 €
-
Fotografias 1976 - 2003 Photographs 1976 - 2003
Occasion dès 120,00 €
-
Hollywood Jewels: Movies, Jewelry, Stars
Occasion dès 106,99 €
-
Japanese Studio Crafts: Tradition And The Avant-Garde
Occasion dès 177,99 €
-
Triumph Of Vulcan: Sculptors' Tools, Porphyry, And The Prince In Ducal Florence
Occasion dès 220,00 €
-
Conversations With Wilder
Occasion dès 105,00 €
-
Illuminations-2cd-Prix Conseille 24.20 E/Ttc
Occasion dès 160,00 €
-
Professional Goldsmithing : A Contemporary Guide To Traditional Jewelry Techniques
Occasion dès 110,38 €
-
La Bâtarde
Occasion dès 120,99 €
-
Play Piano With Diana Krall
Occasion dès 217,99 €
-
Beautiful Flowers And How To Grow Them
Occasion dès 300,00 €
-
Six Volumes Complete. Le Robert Dictionnaire Alphabétique Et Analogique De La Langue Française. (In French) 1966 Ex-Library Edition
Occasion dès 300,00 €
-
A Glastonbury Romance
Occasion dès 111,99 €
-
Cosaan =: Les Origines (La Civilisation Sereer) (French Edition)
Occasion dès 226,58 €
-
Enseignement Oral De Platon: Une Nouvelle Interprétation Du Platonisme (French Edition)
1 avis
Occasion dès 149,99 €
-
Maison Martin Margiela : Street Special Edition Volumes 1 & 2
Occasion dès 190,00 €
-
Pro Powershell Desired State Configuration
Neuf dès 103,90 €
-
David Yarrow
Neuf dès 123,00 €
Occasion dès 192,01 €
Produits similaires
Présentation Operating Rules And Interoperability In Trans - National High - Speed Rail de Format Relié
- Livre Littérature Générale
Résumé :
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....
Biographie:
Doctor Simon Collart-Dutilleul,is the Senior researcher and head of the ERTMS task force of IFSTTAR (The French institute of science and technology for transport, spatial planning, development and networks)
Sommaire:
Introduction.- Part I Operating rules and trans-national lines.- Discussion around an example of long distance line.- Operating rule and safety.- Human factor.- ERTMS.- Part II Formal methods and safety.- Modeling the system.; SysML.- Modelling hybrid aspects.- Modeling interlocking and signaling.- Sharing information and models.- Part III Model and proofs.- Model checking.- Theorem proving: B method (or Z?).- Test Specifying.- Simulation of 3D environment.- Conclusion.
Détails de conformité du produit
Personne responsable dans l'UE