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

Lieferzeit: Lieferbar innerhalb 14 Tagen

62,05 €

inkl. 7 % MwSt. zzgl. Versandkosten

Third International Conference, RSSRail 2019, Lille, France, June 4-6,2019, Proceedings, Lecture Notes in Computer Science 11495 – Programming and Software Engineering

ISBN: 3030187438
ISBN 13: 9783030187439
Herausgeber: Simon Collart-Dutilleul/Thierry Lecomte/Alexander Romanovsky
Verlag: Springer Verlag GmbH
Umfang: xix, 297 S., 109 s/w Illustr., 91 farbige Illustr., 297 p. 200 illus., 91 illus. in color.
Erscheinungsdatum: 24.04.2019
Auflage: 1/2019
Produktform: Kartoniert
Einband: KT
Artikelnummer: 7061240 Kategorie:

Beschreibung

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.

Das könnte Ihnen auch gefallen …