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

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

Buch

First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)

Aktueller Preis: EUR 54,75

Versandkosten (United States of America): EUR 19,90

Herausgeber:: Thierry Lecomte, Ralf Pinger, Alexander Romanovsky
Verlag:: Springer, 06/2016
Einband:: Kartoniert / Broschiert, Paperback
Sprache:: Englisch
ISBN-13:: 9783319339504
Artikelnummer:: 2558402
Umfang:: 268 Seiten
Nummer der Auflage:: 16001
Ausgabe:: 1st edition 2016
Gewicht:: 411 g
Maße:: 235 x 155 mm
Stärke:: 14 mm
Erscheinungstermin:: 15.6.2016
Serie:: Lecture Notes in Computer Science - Band 9707
Hinweis: Achtung: Artikel ist nicht in deutscher Sprache!

Klappentext

This book constitutes the refereed proceedings of the First
International Conference on Reliability, Safety, and Security of Railway
Systems, RSSRail 2016, held in Paris, France, in June 2016.
The 15 revised full papers presented were carefully reviewed and
selected from 36 initial submissions. The papers cover a wide range of
topics including failure analysis, interlocking verification, formal
system specification and refinement, security analysis of ERTMS, safety
verification, formalisation of requirements, proof automation,
operational security, railway system reliability, risk assessment for
ERTMS, and verification of EN-50128 safety requirements.