Cantitate/Preț
Produs
Total produse
Vezi coșul
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification de Simon Collart-Dutilleul

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Programming and Software Engineering

Editat de Simon Collart-Dutilleul, Alexander Romanovsky, Thierry Lecomte
en Limba Engleză Paperback – 24 apr 2019
This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019.
The 18 full papers presented in this book were carefully reviewed and selected from 38 submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and track planning; safety process and validation; modelling; formal verification; and security. 
Citește tot Restrânge

Din seria Programming and Software Engineering

Preț: 37687 lei

Preț vechi: 47108 lei
-20% Nou

Puncte Express: 565
Preț estimativ în valută:
6668€ • 7839$ • 5840£

Carte tipărită la comandă

Livrare economică 29 ianuarie-12 februarie 26

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783030187439
ISBN-10: 3030187438
Pagini: 320
Ilustrații: XIX, 297 p. 200 illus., 91 illus. in color.
Dimensiuni: 155 x 235 x 18 mm
Greutate: 0.49 kg
Ediția:1st edition 2019
Editura: Springer International Publishing
Seria Programming and Software Engineering

Locul publicării:Cham, Switzerland

Cuprins

Railways System and Infrastructure Advance Modelling.- Scheduling and Track Planning.- Safety Process and Validation.- Modelling.- Formal Verification.- Security.