書(shū)目名稱(chēng) | Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi | 副標(biāo)題 | 5th International Co | 編輯 | Birgit Milius,Simon Collart-Dutilleul,Thierry Leco | 視頻video | http://file.papertrans.cn/827/826424/826424.mp4 | 叢書(shū)名稱(chēng) | Lecture Notes in Computer Science | 圖書(shū)封面 |  | 描述 | .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.. | 出版日期 | Conference proceedings 2023 | 關(guān)鍵詞 | safety; reliability; security; railway systems; formal methods; computer systems organization; embedded an | 版次 | 1 | doi | https://doi.org/10.1007/978-3-031-43366-5 | isbn_softcover | 978-3-031-43365-8 | isbn_ebook | 978-3-031-43366-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 | issn_series | 0302-9743 | copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl |
The information of publication is updating
書(shū)目名稱(chēng)Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi影響因子(影響力) 
書(shū)目名稱(chēng)Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi影響因子(影響力)學(xué)科排名 
書(shū)目名稱(chēng)Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi網(wǎng)絡(luò)公開(kāi)度 
書(shū)目名稱(chēng)Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi網(wǎng)絡(luò)公開(kāi)度學(xué)科排名 
書(shū)目名稱(chēng)Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi被引頻次 
書(shū)目名稱(chēng)Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi被引頻次學(xué)科排名 
書(shū)目名稱(chēng)Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi年度引用 
書(shū)目名稱(chēng)Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi年度引用學(xué)科排名 
書(shū)目名稱(chēng)Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi讀者反饋 
書(shū)目名稱(chēng)Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi讀者反饋學(xué)科排名 
|
|
|