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

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Aus der Reihe Programming and Software Engineering

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.06.2016

Abbildungen

XII, 55 illus., schwarz-weiss Illustrationen

Herausgeber

Thierry Lecomte + weitere

Verlag

Springer

Seitenzahl

255

Maße (L/B/H)

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

Gewicht

4102 g

Auflage

1st ed. 2016

Sprache

Englisch

ISBN

978-3-319-33950-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.06.2016

Abbildungen

XII, 55 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer

Seitenzahl

255

Maße (L/B/H)

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

Gewicht

4102 g

Auflage

1st ed. 2016

Sprache

Englisch

ISBN

978-3-319-33950-4

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

  • The Risk Assessment of ERTMS-Based Railway Systems from a Cyber Security Perspective: Methodology and Lessons Learned.- Using Formal Proof and B Method at System Level for Industrial Projects.- A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers.- A Formal Security Analysis of ERTMS Train to Trackside Protocols.- Operational Security - A Coming Evolution of Railway Operational Procedures under the IT Security Threat.- Risk Assessment of the 3Des in the ERTMS.- Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking.- Correct Formalization of Requirement Specifications: A V-Model for Building Formal Methods.- Static Verification of Railway Scheme and Interlocking Design Data.- Verification of Railway Interlocking - Compositional Approach with OCRA.- Safety Verification of Heterogeneous Railway Networks.- Comparing Formal Verification Approaches of Interlocking Systems.- Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems.- Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements.- The PERF Approach for Formal Verification.- Abstract Software Specifications and Automatic Proof of Refinement.- S3: Proving the Safety of Critical Systems.- Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo.