Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Third International Conference, Rssrail 20
暫譯: 鐵路系統的可靠性、安全性與保安：建模、分析、驗證與認證：第三屆國際會議 Rssrail 20

Name: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Third International Conference, Rssrail 20
Price: 2660 TWD
Availability: OnlineOnly
Author: Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, Alexander
ISBN: 3030187438

Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, Alexander

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Third International Conference, Rssrail 20

出版商: Springer
出版日期: 2019-04-24
售價: $2,800
貴賓價: 9.5 折 $2,660
語言: 英文
頁數: 297
裝訂: Quality Paper - also called trade paper
ISBN: 3030187438
ISBN-13: 9783030187439
相關分類: 資訊安全

海外代購書籍(需單獨結帳)

商品描述

This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019.
The 18 full papers presented in this book were carefully reviewed and selected from 38 submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and track planning; safety process and validation; modelling; formal verification; and security.

商品描述(中文翻譯)

本書是2019年6月在法國里爾舉行的第三屆國際鐵路系統可靠性、安全性和安全性會議（RSSRail 2019）的經過審核的會議論文集。本書中呈現的18篇完整論文是從38篇投稿中仔細審核和選出的。這些論文涵蓋了多個主題，包括鐵路系統和基礎設施的先進建模；排程和軌道規劃；安全流程和驗證；建模；形式驗證；以及安全性。