Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
6th International Conference, RSSRail 2025, Pisa, Italy, November 26–28, 2025, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
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.
Autor*in
Maurice H. ter Beek
Themen in »Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification«
Railway systems Reliability Safety Security Formal Methods Model Checking Modelling Analysis Simulation Verification Validation Certification Wireless communication Maintenance Software Engineering