Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 6th International Conference, Rssrail 2025
暫譯: 鐵路系統的可靠性、安全性與保安：建模、分析、驗證與認證，第六屆國際會議 Rssrail 2025
Ter Beek, Maurice H., Collart-Dutilleul, Simon, Lecomte, Thierry
相關主題
商品描述
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.
商品描述(中文翻譯)
本書為第六屆國際會議 RSSRail 2025 的會議紀錄，會議於 2025 年 11 月在義大利比薩舉行。
本書收錄的 12 篇完整論文、5 篇短文、3 篇受邀演講者的短文以及 4 篇期刊首發論文的擴展摘要，均經過仔細審查和選擇，來自 35 篇投稿。這些論文主要集中於以下主題部分：受邀報告；人工智慧與規劃；調查與比較；通訊與控制；工業經驗與電車；形式建模與分析。
