£49.99

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

Name: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Price: 49.99 GBP
Availability: InStock
ISBN: 9783030187446

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

Algorithms and data structures Compilers and interpreters Software Engineering Mathematical theory of computation Computer modelling and simulation

Collection: Lecture Notes in Computer Science

Language: English

Published by: Springer

Published on: 28th May 2019

Format: LCP-protected ePub

Size: 20 Mb

ISBN: 9783030187446

Conference Details

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.

Show more Show less