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

$65.99

Taxes may apply at checkout.

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

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

Computer hardware Software Engineering Applied computing Artificial intelligence

Dinosaur mascot

Collection: Lecture Notes in Computer Science

Language: English

Published by: Springer

Published on: 15th November 2025

Format: LCP-protected ePub

ISBN: 9783032107626


Conference Details

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.

Topical Sections

They were focused on the following topical sections: Invited Presentations; AI & Planning; Surveys & Comparisons; Communication & Control; Industrial Experiences & Trams; Formal Modelling & Analysis.

Show moreShow less