HOME View All Genre

Book

Audiobook

GENRES 🌙 Dark

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

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

Release Date: 2025-11-15

Genre: Computers

(0 ratings)
Read Download
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.

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

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

Release Date: 2025-11-15

Genre: Computers

(0 ratings)
Read Download
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.

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

Related Articles