This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10-12, 2023.The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided into the following topical sections: modeling for security; tooled approaches and dependability of highly automated transport systems; formal methods for safety assessment; and formal model and visual tooling.
€64.20
购买此电子书可免费获赠一本！
语言 英语 ● 格式 EPUB ● ISBN 9783031433665 ● 编辑 Simon Collart-Dutilleul & Thierry Lecomte ● 出版者 Springer Nature Switzerland ● 发布时间 2023 ● 下载 3 时 ● 货币 EUR ● ID 9198544 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器
来自同一作者的更多电子书 / 编辑
16,328 此类电子书
