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

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

6th International Conference, RSSRail 2025, Pisa, Italy, November 26–28, 2025, Proceedings

    • USD 49.99
    • USD 49.99

Descripción editorial

This book constitutes the proceedings of the 6th International Conference, RSSRail 2025, in Pisa, Italy, during November 2025. 

The 12 full papers, 5 short papers, 3 short papers from invited speakers and 4 extended abstracts of journal-first papers presented here were carefully reviewed and selected from 35 submissions.They were focused on the following topical sections:Invited Presentations; AI & Planning; Surveys & Comparisons; Communication & Control; Industrial Experiences & Trams; Formal Modelling & Analysis.

GÉNERO
Informática e Internet
PUBLICADO
2025
15 de noviembre
IDIOMA
EN
Inglés
EXTENSIÓN
345
Páginas
EDITORIAL
Springer Nature Switzerland
VENDEDOR
Springer Nature B.V.
TAMAÑO
44.6
MB
Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications
2025
Coordination Models and Languages Coordination Models and Languages
2022
Integrated Formal Methods Integrated Formal Methods
2022
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
2020
From Software Engineering to Formal Methods and Tools, and Back From Software Engineering to Formal Methods and Tools, and Back
2019
Formal Methods – The Next 30 Years Formal Methods – The Next 30 Years
2019