发布求助
文献互助 智能选刊 最新文献

International Conference on Reliability, Safety, and Security of Railway Systems最新文献

筛选
英文 中文
Acceleration Techniques for Symbolic Simulation of Railway Timetables 铁路时刻表符号仿真的加速技术
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-05814-1_4
Rebecca Haehn, E. Ábrahám, Niklas Kotowski
{"title":"Acceleration Techniques for Symbolic Simulation of Railway Timetables","authors":"Rebecca Haehn, E. Ábrahám, Niklas Kotowski","doi":"10.1007/978-3-031-05814-1_4","DOIUrl":"https://doi.org/10.1007/978-3-031-05814-1_4","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126439862","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Formalization and Processing of Data Requirements for the Development of Next Generation Railway Traffic Management Systems 下一代铁路交通管理系统开发数据需求的形式化与处理
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-05814-1_3
Airy Magnien, G. Cecchetti, A. L. Ruscelli, P. Hyde, Jin Liu, S. Wegele
{"title":"Formalization and Processing of Data Requirements for the Development of Next Generation Railway Traffic Management Systems","authors":"Airy Magnien, G. Cecchetti, A. L. Ruscelli, P. Hyde, Jin Liu, S. Wegele","doi":"10.1007/978-3-031-05814-1_3","DOIUrl":"https://doi.org/10.1007/978-3-031-05814-1_3","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127835035","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Compositional Verification of Railway Interlockings: Comparison of Two Methods 铁路联锁的成分验证:两种方法的比较
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-05814-1_1
A. Fantechi, G. Gori, A. Haxthausen, Christophe Limbrée
{"title":"Compositional Verification of Railway Interlockings: Comparison of Two Methods","authors":"A. Fantechi, G. Gori, A. Haxthausen, Christophe Limbrée","doi":"10.1007/978-3-031-05814-1_1","DOIUrl":"https://doi.org/10.1007/978-3-031-05814-1_1","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125381880","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems 铁路系统安全关键电机控制器的多模型验证
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-05814-1_6
J. Proença, Sina Borrami, Jorge Sanchez de Nova, D. Pereira, G. Nandi
{"title":"Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems","authors":"J. Proença, Sina Borrami, Jorge Sanchez de Nova, D. Pereira, G. Nandi","doi":"10.1007/978-3-031-05814-1_6","DOIUrl":"https://doi.org/10.1007/978-3-031-05814-1_6","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"79 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132225036","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Learning to Learn HVAC Failures: Layering ML Experiments in the Absence of Ground Truth 学习学习HVAC故障:在没有地面真相的情况下分层ML实验
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-05814-1_7
C. E. Budde, Duncan Jansen, I. L. M. Locht, M. Stoelinga
{"title":"Learning to Learn HVAC Failures: Layering ML Experiments in the Absence of Ground Truth","authors":"C. E. Budde, Duncan Jansen, I. L. M. Locht, M. Stoelinga","doi":"10.1007/978-3-031-05814-1_7","DOIUrl":"https://doi.org/10.1007/978-3-031-05814-1_7","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124340406","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Generating and Verifying Configuration Data with OVADO 使用OVADO生成和验证配置数据
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-05814-1_10
Frédéric Badeau, J. Chappelin, Joris Lamare
{"title":"Generating and Verifying Configuration Data with OVADO","authors":"Frédéric Badeau, J. Chappelin, Joris Lamare","doi":"10.1007/978-3-031-05814-1_10","DOIUrl":"https://doi.org/10.1007/978-3-031-05814-1_10","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127588616","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Vision of Intelligent Train Control 智能列车控制的展望
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-05814-1_14
Francesco Flammini, Lorenzo De Donato, A. Fantechi, V. Vittorini
{"title":"A Vision of Intelligent Train Control","authors":"Francesco Flammini, Lorenzo De Donato, A. Fantechi, V. Vittorini","doi":"10.1007/978-3-031-05814-1_14","DOIUrl":"https://doi.org/10.1007/978-3-031-05814-1_14","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121450805","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信