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

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

筛选
英文 中文
Risk Assessment of the 3Des in ERTMS ERTMS中3Des的风险评估
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2016-06-28 DOI: 10.1007/978-3-319-33951-1_6
Florent Pépin, M. Vigliotti
{"title":"Risk Assessment of the 3Des in ERTMS","authors":"Florent Pépin, M. Vigliotti","doi":"10.1007/978-3-319-33951-1_6","DOIUrl":"https://doi.org/10.1007/978-3-319-33951-1_6","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122167879","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
Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking 基于模型校核的中国列车控制系统三级故障分析
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2016-06-28 DOI: 10.1007/978-3-319-33951-1_7
Xiao Han, T. Tang, J. Lv, Haifeng Wang
{"title":"Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking","authors":"Xiao Han, T. Tang, J. Lv, Haifeng Wang","doi":"10.1007/978-3-319-33951-1_7","DOIUrl":"https://doi.org/10.1007/978-3-319-33951-1_7","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":"2016-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126294977","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
S3: Proving the Safety of Critical Systems S3:证明关键系统的安全性
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2016-06-28 DOI: 10.1007/978-3-319-33951-1_17
Nicolas Breton, Yoann Fonteneau
{"title":"S3: Proving the Safety of Critical Systems","authors":"Nicolas Breton, Yoann Fonteneau","doi":"10.1007/978-3-319-33951-1_17","DOIUrl":"https://doi.org/10.1007/978-3-319-33951-1_17","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129471498","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}
引用次数: 4
Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo Alt-Ergo提高了b工作室的打样自动化率
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2016-06-28 DOI: 10.1007/978-3-319-33951-1_18
S. Conchon, Mohamed Iguernelala
{"title":"Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo","authors":"S. Conchon, Mohamed Iguernelala","doi":"10.1007/978-3-319-33951-1_18","DOIUrl":"https://doi.org/10.1007/978-3-319-33951-1_18","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123970893","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}
引用次数: 4
Comparing Formal Verification Approaches of Interlocking Systems 联锁系统形式化验证方法的比较
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2016-06-28 DOI: 10.1007/978-3-319-33951-1_12
A. Haxthausen, N. H. Nga, M. Roggenbach
{"title":"Comparing Formal Verification Approaches of Interlocking Systems","authors":"A. Haxthausen, N. H. Nga, M. Roggenbach","doi":"10.1007/978-3-319-33951-1_12","DOIUrl":"https://doi.org/10.1007/978-3-319-33951-1_12","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"28 10","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131776596","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}
引用次数: 12
Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models 需求规范的正确形式化:构建形式化模型的v型模型
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2016-06-28 DOI: 10.1007/978-3-319-33951-1_8
Marco Filax, Tim Gonschorek, F. Ortmeier
{"title":"Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models","authors":"Marco Filax, Tim Gonschorek, F. Ortmeier","doi":"10.1007/978-3-319-33951-1_8","DOIUrl":"https://doi.org/10.1007/978-3-319-33951-1_8","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130992408","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
Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems 提高铁路系统可靠性的预测推理和机器学习
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2016-06-28 DOI: 10.1007/978-3-319-33951-1_13
Luke J. W. Martin
{"title":"Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems","authors":"Luke J. W. Martin","doi":"10.1007/978-3-319-33951-1_13","DOIUrl":"https://doi.org/10.1007/978-3-319-33951-1_13","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":"2016-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131732079","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}
引用次数: 13
Abstract Software Specifications and Automatic Proof of Refinement 软件规范和自动改进证明
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2016-06-28 DOI: 10.1007/978-3-319-33951-1_16
Claire Dross, Yannick Moy
{"title":"Abstract Software Specifications and Automatic Proof of Refinement","authors":"Claire Dross, Yannick Moy","doi":"10.1007/978-3-319-33951-1_16","DOIUrl":"https://doi.org/10.1007/978-3-319-33951-1_16","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"115 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124696603","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}
引用次数: 7
Using Formal Proof and B Method at System Level for Industrial Projects 在工业项目的系统级使用形式证明和B方法
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2016-06-28 DOI: 10.1007/978-3-319-33951-1_2
D. Sabatier
{"title":"Using Formal Proof and B Method at System Level for Industrial Projects","authors":"D. Sabatier","doi":"10.1007/978-3-319-33951-1_2","DOIUrl":"https://doi.org/10.1007/978-3-319-33951-1_2","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125618700","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}
引用次数: 21
The PERF Approach for Formal Verification 形式验证的PERF方法
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2016-06-28 DOI: 10.1007/978-3-319-33951-1_15
Nazim Benaïssa, D. Bonvoisin, Abderrahmane Feliachi, J. Ordioni
{"title":"The PERF Approach for Formal Verification","authors":"Nazim Benaïssa, D. Bonvoisin, Abderrahmane Feliachi, J. Ordioni","doi":"10.1007/978-3-319-33951-1_15","DOIUrl":"https://doi.org/10.1007/978-3-319-33951-1_15","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129600470","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}
引用次数: 15
首页 上一页 下一页 尾页
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学术官方微信