Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

AvSimon Collart-Dutilleul,Thierry Lecomte

Häftad, Engelska, 2019

Del i serien Lecture Notes in Computer Science

649 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2019-04-24
Mått:155 x 235 x 18 mm
Vikt:487 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:297
Förlag:Springer Nature Switzerland AG
ISBN:9783030187439

Utforska kategorier

Innehållsförteckning

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