Pub Date : 1900-01-01DOI: 10.1007/978-3-642-14261-1_12
T. Kunifuji, Yoshinori Saiki, Satoru Masutani, M. Matsumoto
{"title":"Reliability of the IP Network-based Signal Control System and the Integrated Logical Controller","authors":"T. Kunifuji, Yoshinori Saiki, Satoru Masutani, M. Matsumoto","doi":"10.1007/978-3-642-14261-1_12","DOIUrl":"https://doi.org/10.1007/978-3-642-14261-1_12","url":null,"abstract":"","PeriodicalId":410285,"journal":{"name":"Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems","volume":"15 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":"130851764","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_14
Sonja-Lara Bepperling, Andreas Schöbel
{"title":"Estimation of Safety Requirements for Wayside Hot Box Detection Systems","authors":"Sonja-Lara Bepperling, Andreas Schöbel","doi":"10.1007/978-3-642-14261-1_14","DOIUrl":"https://doi.org/10.1007/978-3-642-14261-1_14","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":"129913135","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_16
Maik Leska, R. Prabel, A. Rauh, H. Aschemann
{"title":"Simulation and Optimization of the Longitudinal Dynamics of Parallel Hybrid Railway Vehicles","authors":"Maik Leska, R. Prabel, A. Rauh, H. Aschemann","doi":"10.1007/978-3-642-14261-1_16","DOIUrl":"https://doi.org/10.1007/978-3-642-14261-1_16","url":null,"abstract":"","PeriodicalId":410285,"journal":{"name":"Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems","volume":"9 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":"126815312","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_24
Sebastian Biallas, Jörg Brauer, S. Kowalewski, Bastian Schlich
{"title":"Automatically Deriving Symbolic Invariants for PLC Programs Written in IL","authors":"Sebastian Biallas, Jörg Brauer, S. Kowalewski, Bastian Schlich","doi":"10.1007/978-3-642-14261-1_24","DOIUrl":"https://doi.org/10.1007/978-3-642-14261-1_24","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":"129372217","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_23
B. Polgár, I. Ráth, I. Majzik
{"title":"Model-based Integration Framework for Development and Testing Tool-chains","authors":"B. Polgár, I. Ráth, I. Majzik","doi":"10.1007/978-3-642-14261-1_23","DOIUrl":"https://doi.org/10.1007/978-3-642-14261-1_23","url":null,"abstract":"","PeriodicalId":410285,"journal":{"name":"Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems","volume":"329 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":"123395429","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_7
M. Antoni
{"title":"Complementarity between Axle Counters and Tracks Circuits","authors":"M. Antoni","doi":"10.1007/978-3-642-14261-1_7","DOIUrl":"https://doi.org/10.1007/978-3-642-14261-1_7","url":null,"abstract":"","PeriodicalId":410285,"journal":{"name":"Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems","volume":"21 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":"121686050","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_9
A. Kuckelberg, E. Wendler
{"title":"Modeling Computer based, microscopic Dispatching Systems","authors":"A. Kuckelberg, E. Wendler","doi":"10.1007/978-3-642-14261-1_9","DOIUrl":"https://doi.org/10.1007/978-3-642-14261-1_9","url":null,"abstract":"","PeriodicalId":410285,"journal":{"name":"Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems","volume":"39 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":"122582616","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_22
Stefan Detering, L. Schnieder
{"title":"Calibration and Validation of Simulation Models for Investigation of Traffic Assistance Systems","authors":"Stefan Detering, L. Schnieder","doi":"10.1007/978-3-642-14261-1_22","DOIUrl":"https://doi.org/10.1007/978-3-642-14261-1_22","url":null,"abstract":"","PeriodicalId":410285,"journal":{"name":"Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems","volume":"30 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":"132757406","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_8
K. Rástočný, J. Ilavský
{"title":"Effects of a Periodic Maintenance on the Safety Integrity Level of a Control System","authors":"K. Rástočný, J. Ilavský","doi":"10.1007/978-3-642-14261-1_8","DOIUrl":"https://doi.org/10.1007/978-3-642-14261-1_8","url":null,"abstract":"","PeriodicalId":410285,"journal":{"name":"Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems","volume":"82 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":"114168627","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_25
André Sülflow, R. Drechsler
{"title":"Automatic Fault Localization for Programmable Logic Controllers","authors":"André Sülflow, R. Drechsler","doi":"10.1007/978-3-642-14261-1_25","DOIUrl":"https://doi.org/10.1007/978-3-642-14261-1_25","url":null,"abstract":"","PeriodicalId":410285,"journal":{"name":"Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems","volume":"62 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":"117258523","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
扫码关注我们
求助内容：
应助结果提醒方式：