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

    • CHF 55.00
    • CHF 55.00

Beschreibung des Verlags

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.

GENRE
Computer und Internet
ERSCHIENEN
2025
15. November
SPRACHE
EN
Englisch
UMFANG
345
Seiten
VERLAG
Springer Nature Switzerland
GRÖSSE
45
 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