Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319684987, 9783319684994

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Are Standards an Ambiguity-Free Reference for Product Validation?

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68499-4_17 ◽

2017 ◽

pp. 251-264 ◽

Cited By ~ 1

Author(s):

Alessio Ferrari ◽

Mario Fusani ◽

Stefania Gnesi

Download Full-text

Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68499-4_15 ◽

2017 ◽

pp. 221-237 ◽

Cited By ~ 1

Author(s):

Davide Basile ◽

Felicita Di Giandomenico ◽

Stefania Gnesi

Keyword(s):

Linear Programming ◽

Integer Linear Programming ◽

Dynamic Routing ◽

Urban Transport ◽

Transport Systems

Download Full-text

Safety Analysis of a CBTC System: A Rigorous Approach with Event-B

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68499-4_10 ◽

2017 ◽

pp. 148-159 ◽

Cited By ~ 9

Author(s):

Mathieu Comptier ◽

David Deharbe ◽

Julien Molinero Perez ◽

Louis Mussat ◽

Thibaut Pierre ◽

...

Keyword(s):

Safety Analysis ◽

Rigorous Approach ◽

System A

Download Full-text

Deductive Verification of Railway Operations

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68499-4_9 ◽

2017 ◽

pp. 131-147 ◽

Cited By ~ 3

Author(s):

Eduard Kamburjan ◽

Reiner Hähnle

Keyword(s):

Deductive Verification ◽

Railway Operations

Download Full-text

Systems-Theoretic Likelihood and Severity Analysis for Safety and Security Co-engineering

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68499-4_4 ◽

2017 ◽

pp. 51-67 ◽

Cited By ~ 1

Author(s):

William G. Temple ◽

Yue Wu ◽

Binbin Chen ◽

Zbigniew Kalbarczyk

Download Full-text

Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68499-4_16 ◽

2017 ◽

pp. 241-250 ◽

Cited By ~ 1

Author(s):

Paulius Stankaitis ◽

Alexei Iliasov

Keyword(s):

Railway Networks

Download Full-text

B-PERFect

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68499-4_11 ◽

2017 ◽

pp. 160-172 ◽

Cited By ~ 1

Author(s):

Alexandra Halchin ◽

Abderrahmane Feliachi ◽

Neeraj Kumar Singh ◽

Yamine Ait-Ameur ◽

Julien Ordioni

Download Full-text

Cyber Security in Railways: Quo Vadis?

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68499-4_1 ◽

2017 ◽

pp. 3-14 ◽

Cited By ~ 1

Author(s):

Jens Braband

Keyword(s):

Cyber Security ◽

Quo Vadis

Download Full-text

LTE System Design for Urban Light Rail Transport

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68499-4_2 ◽

2017 ◽

pp. 17-33

Author(s):

Gianluca Mandò ◽

Giovanni Giambene

Keyword(s):

System Design ◽

Rail Transport ◽

Light Rail

Download Full-text

OVADO

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68499-4_6 ◽

2017 ◽

pp. 87-98 ◽

Cited By ~ 2

Author(s):

Manel Fredj ◽

Sven Leger ◽

Abderrahmane Feliachi ◽

Julien Ordioni

Download Full-text

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Are Standards an Ambiguity-Free Reference for Product Validation?

Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming

Safety Analysis of a CBTC System: A Rigorous Approach with Event-B

Deductive Verification of Railway Operations

Systems-Theoretic Likelihood and Severity Analysis for Safety and Security Co-engineering

Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks

B-PERFect

Cyber Security in Railways: Quo Vadis?

LTE System Design for Urban Light Rail Transport

OVADO

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Lecture Notes in Computer Science
Latest Publications