Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Maurice H. ter Beek, Simon Collart-Dutilleul & Thierry Lecomte

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

By Maurice H. ter Beek, Simon Collart-Dutilleul & Thierry Lecomte

  • Release Date: 2025-11-15
  • Genre: Computers
$49.99 On itunes Buy on Amazon

Description

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.

Comments

Advertisement

Maximize your website's potential with Website Statistic

Get insights into your website traffic, analyze your website's audience, and optimize your website for better results with Website Statistic.

More by Maurice H. ter Beek, Simon Collart-Dutilleul & Thierry Lecomte