| 书目名称 | Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi | | 副标题 | Second International | | 编辑 | Alessandro Fantechi,Thierry Lecomte,Alexander Roma | | 视频video | | | 概述 | Includes supplementary material: | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | .This volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017. . The 16 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: communication challenges in railway systems; formal modeling and verification for safety; light rail and urban transit; and engineering techniques and standards. The book also contains one keynote talk in full-paper length. . | | 出版日期 | Conference proceedings 2017 | | 关键词 | software engineering; artificial intelligence; model checking; formal methods; data security; computer ne | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-319-68499-4 | | isbn_softcover | 978-3-319-68498-7 | | isbn_ebook | 978-3-319-68499-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer International Publishing AG 2017 |
The information of publication is updating
书目名称Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi影响因子(影响力)
书目名称Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi影响因子(影响力)学科排名
书目名称Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi网络公开度
书目名称Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi网络公开度学科排名
书目名称Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi被引频次
书目名称Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi被引频次学科排名
书目名称Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi年度引用
书目名称Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi年度引用学科排名
书目名称Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi读者反馈
书目名称Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi读者反馈学科排名
|
|
|
发表于 2025-3-21 17:52:20
