 Neuerscheinungen 2019Stand: 2020-02-01 |
Schnellsuche
ISBN/Stichwort/Autor
|
Herderstraße 10
10625 Berlin
Tel.: 030 315 714 16
Fax 030 315 714 14
info@buchspektrum.de |
Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky
(Beteiligte)
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings
Herausgegeben von Collart-Dutilleul, Simon; Lecomte, Thierry; Romanovsky, Alexander
1st ed. 2019. 2019. xix, 297 S. 109 SW-Abb., 91 Farbabb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2019
ISBN: 3-03-018743-8 (3030187438)
Neue ISBN: 978-3-03-018743-9 (9783030187439)
Preis und Lieferzeit: Bitte klicken
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.
Railways System and Infrastructure Advance Modelling.- Scheduling and Track Planning.- Safety Process and Validation.- Modelling.- Formal Verification.- Security.