Vor Ort
Merkzettel Warenkorb
  • Produktbild: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
  • Produktbild: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Band 14198 - 10%

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 5th International Conference, RSSRail 2023, Berlin, Germany, October 10–12, 2023, Proceedings

Aus der Reihe Lecture Notes in Computer Science
10% sparen

61,99 € UVP 69,54 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.09.2023

Abbildungen

XX, 226 p. 102 illus., 75 illus. in color.

Herausgeber

Birgit Milius + weitere

Verlag

Springer

Seitenzahl

226

Maße (L/B/H)

23,5/15,5/1,4 cm

Gewicht

382 g

Auflage

1st ed. 2023

Sprache

Englisch

ISBN

978-3-031-43365-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.09.2023

Abbildungen

XX, 226 p. 102 illus., 75 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

226

Maße (L/B/H)

23,5/15,5/1,4 cm

Gewicht

382 g

Auflage

1st ed. 2023

Sprache

Englisch

ISBN

978-3-031-43365-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
  • Produktbild: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
  • Modeling for Security:  Automating an Analysis of Safety-Security Interactions for Railway Systems.- TrainSec: A Simulation Framework for Security Modeling and Evaluation in CBTC Networks.- Tooled approaches and Dependability of highly automated transport systems:  Safety analysis of Automatic Train Operation based on ETCS.- Remaining Useful Life Estimation for Railway Gearbox Bearings Using Machine Learning.- Towards Scenario-based Certification of Highly Automated Railway Systems.- Dependability Analysis of UPS Architectures for the Italian Railway Signaling System.-  Formal methods for safety assessment:  The SafeCap Trajectory: Industry-driven Improvement of an Interlocking Verification Tool.- A Formal Model of Train Control with AI-based Obstacle Detection.- Integral Formal Proof : A Verification Approach Bridging the Gap between System and Software Levels in RailwaySystems.- Automated Compositional Verication of Interlocking Systems.- Halfway Generic Verification of Railway Control Systems.-  Formal model and visual tooling:  Modelling, Visualisation and Proof of an ETCS Level 3 Moving Block System.- A Tool-Chain for the Verification of Geographic Scheme Data.