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

Simon Collart-Dutilleul (Editor), Anne Elisabeth Haxthausen (Editor), Thierry Lecomte (Editor)

Research output: Book/ReportBookResearch

Abstract

This volume contains papers presented at the fifth international conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSSRail 2022) We are pleased to propose a mainly physical meeting during June 1–2, 2022, organized by University Gustave Eiffel in the UIC (The Worldwide Railway Organization) building in Paris. The conference is back in Paris after its first loop: The series of conferences started in Paris in 2016 and continued in 2017 in Pistoia. In 2019, the conference took place in Lille and the 2021, edition was a special issue of the journal Formal Aspects of Computing. In 2022 we were back to where we started, after a long period of pandemic, filled with expectations for a fruitful physical event fostering networking activities and an informal but fundamental sharing of knowledge
Original languageEnglish
PublisherSpringer
Number of pages239
ISBN (Print)978-3-031-05813-4
DOIs
Publication statusPublished - 2022
Event4th International Conference on Reliability, Safety, and Security of Railway Systems - Union Internationale des Chemins de fer, Paris, France
Duration: 1 Jun 20222 Jun 2022
https://rssrail2022.univ-gustave-eiffel.fr/
SeriesLecture Notes in Computer Science
Volume13294
ISSN0302-9743

Conference

Conference4th International Conference on Reliability, Safety, and Security of Railway Systems
LocationUnion Internationale des Chemins de fer
Country/TerritoryFrance
CityParis
Period01/06/202202/06/2022
Internet address

Fingerprint

Dive into the research topics of 'Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification'. Together they form a unique fingerprint.

Cite this