↓ Skip to main content

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

Overview of attention for book
Cover of 'Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Cyber Security in Railways: Quo Vadis?
  3. Altmetric Badge
    Chapter 2 LTE System Design for Urban Light Rail Transport
  4. Altmetric Badge
    Chapter 3 A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS
  5. Altmetric Badge
    Chapter 4 Systems-Theoretic Likelihood and Severity Analysis for Safety and Security Co-engineering
  6. Altmetric Badge
    Chapter 5 Formal Modelling Techniques for Efficient Development of Railway Control Products
  7. Altmetric Badge
    Chapter 6 OVADO
  8. Altmetric Badge
    Chapter 7 A Domain-Specific Language for Generic Interlocking Models and Their Properties
  9. Altmetric Badge
    Chapter 8 Bayesian Network Modeling Applied on Railway Level Crossing Safety
  10. Altmetric Badge
    Chapter 9 Deductive Verification of Railway Operations
  11. Altmetric Badge
    Chapter 10 Safety Analysis of a CBTC System: A Rigorous Approach with Event-B
  12. Altmetric Badge
    Chapter 11 B-PERFect
  13. Altmetric Badge
    Chapter 12 Formal Verification of Train Control with Air Pressure Brakes
  14. Altmetric Badge
    Chapter 13 An Efficient Evaluation Scheme for KPIs in Regulated Urban Train Systems
  15. Altmetric Badge
    Chapter 14 Redundant and Reliable Architecture Based on Open Source Tools for Light-Rail-Transit On-Board-Systems
  16. Altmetric Badge
    Chapter 15 Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming
  17. Altmetric Badge
    Chapter 16 Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks
  18. Altmetric Badge
    Chapter 17 Are Standards an Ambiguity-Free Reference for Product Validation?
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
4 tweeters

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
32 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Published by
Springer, Cham, January 2017
DOI 10.1007/978-3-319-68499-4
ISBNs
978-3-31-968498-7, 978-3-31-968499-4
Editors

Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky

Twitter Demographics

The data shown below were collected from the profiles of 4 tweeters who shared this research output. Click here to find out more about how the information was compiled.

Mendeley readers

The data shown below were compiled from readership statistics for 32 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 32 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 3%
Unknown 31 97%
Readers by discipline Count As %
Computer Science 1 3%
Unknown 31 97%