Pub Date : 1900-01-01DOI: 10.1007/978-3-642-14261-1_4
A. Pataricza
{"title":"Towards Open Modular Critical Systems","authors":"A. Pataricza","doi":"10.1007/978-3-642-14261-1_4","DOIUrl":"https://doi.org/10.1007/978-3-642-14261-1_4","url":null,"abstract":"","PeriodicalId":410285,"journal":{"name":"Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems","volume":"106 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":"123788524","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-642-14261-1_15
Kerstin Hartig, Jens Gerlach, J. Soto, Jürgen Busse
{"title":"Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie","authors":"Kerstin Hartig, Jens Gerlach, J. Soto, Jürgen Busse","doi":"10.1007/978-3-642-14261-1_15","DOIUrl":"https://doi.org/10.1007/978-3-642-14261-1_15","url":null,"abstract":"","PeriodicalId":410285,"journal":{"name":"Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems","volume":"12 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":"121600111","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-642-14261-1_1
Ralf Schweinsberg
{"title":"Achieving Europe-wide safety through technical harmonization","authors":"Ralf Schweinsberg","doi":"10.1007/978-3-642-14261-1_1","DOIUrl":"https://doi.org/10.1007/978-3-642-14261-1_1","url":null,"abstract":"","PeriodicalId":410285,"journal":{"name":"Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems","volume":"31 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":"128894716","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-642-14261-1_5
Margarita Peltekova
{"title":"Safety and Security in Transportation Process - Not Just Technical Issue","authors":"Margarita Peltekova","doi":"10.1007/978-3-642-14261-1_5","DOIUrl":"https://doi.org/10.1007/978-3-642-14261-1_5","url":null,"abstract":"","PeriodicalId":410285,"journal":{"name":"Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems","volume":"1 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":"131225771","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-642-14261-1_21
J. Gačnik, Henning Jost, F. Köster, M. Fränzle
{"title":"The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge","authors":"J. Gačnik, Henning Jost, F. Köster, M. Fränzle","doi":"10.1007/978-3-642-14261-1_21","DOIUrl":"https://doi.org/10.1007/978-3-642-14261-1_21","url":null,"abstract":"","PeriodicalId":410285,"journal":{"name":"Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems","volume":"73 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":"134619505","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-642-14261-1_18
B. Milius
{"title":"Designing a semi-quantitative risk graph","authors":"B. Milius","doi":"10.1007/978-3-642-14261-1_18","DOIUrl":"https://doi.org/10.1007/978-3-642-14261-1_18","url":null,"abstract":"","PeriodicalId":410285,"journal":{"name":"Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems","volume":"1 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":"117242182","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-642-14261-1_13
J. Clarhaut, E. Lemaire, E. El-Koursi
{"title":"Methodology for Assessing Safety Systems Application for a Railway Hot Box Protection System","authors":"J. Clarhaut, E. Lemaire, E. El-Koursi","doi":"10.1007/978-3-642-14261-1_13","DOIUrl":"https://doi.org/10.1007/978-3-642-14261-1_13","url":null,"abstract":"","PeriodicalId":410285,"journal":{"name":"Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems","volume":"98 9","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133085594","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-642-14261-1_19
J. Braband
{"title":"On the Justification of a Risk Matrix for Technical Systems in European Railways","authors":"J. Braband","doi":"10.1007/978-3-642-14261-1_19","DOIUrl":"https://doi.org/10.1007/978-3-642-14261-1_19","url":null,"abstract":"","PeriodicalId":410285,"journal":{"name":"Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems","volume":"122 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":"132866861","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-642-14261-1_3
T. Tang
{"title":"Formal Method and its Application on Train Operation Control System of Chinese high-speed Railway","authors":"T. Tang","doi":"10.1007/978-3-642-14261-1_3","DOIUrl":"https://doi.org/10.1007/978-3-642-14261-1_3","url":null,"abstract":"","PeriodicalId":410285,"journal":{"name":"Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems","volume":"40 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":"123100607","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-642-14261-1_17
M. Antova, Dragan Jovicic, T. Breyne
{"title":"Dissemination of the Commission Regulation (EC) No 352/2009/EC on Common Safety Method on Risk Evaluation and Assessment","authors":"M. Antova, Dragan Jovicic, T. Breyne","doi":"10.1007/978-3-642-14261-1_17","DOIUrl":"https://doi.org/10.1007/978-3-642-14261-1_17","url":null,"abstract":"","PeriodicalId":410285,"journal":{"name":"Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems","volume":"46 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":"128799263","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：