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

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

63,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.09.2023

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 edition 2023

Sprache

Englisch

ISBN

978-3-031-43365-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.09.2023

Herausgeber

Verlag

Springer

Seitenzahl

226

Maße (L/B/H)

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

Gewicht

382 g

Auflage

1st edition 2023

Sprache

Englisch

ISBN

978-3-031-43365-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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.