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

5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings

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

Aktueller Preis: EUR 71,19

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

Herausgeber:: Birgit Milius, Simon Collart-Dutilleul, Thierry Lecomte
Verlag:: Springer, 09/2023
Einband:: Kartoniert / Broschiert, Paperback
Sprache:: Englisch
ISBN-13:: 9783031433658
Artikelnummer:: 11596440
Umfang:: 248 Seiten
Nummer der Auflage:: 23001
Ausgabe:: 1st edition 2023
Gewicht:: 382 g
Maße:: 235 x 155 mm
Stärke:: 14 mm
Erscheinungstermin:: 8.9.2023
Serie:: Lecture Notes in Computer Science - Band 14198
Hinweis: Achtung: Artikel ist nicht in deutscher Sprache!

Klappentext

This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 1012, 2023. The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided into the following topical sections: modeling for security; tooled approaches and dependability of highly automated transport systems; formal methods for safety assessment; and formal model and visual tooling.