Pub Date : 2018-06-05DOI: 10.1007/978-3-319-91271-4_1
Janet Barnes, J. Hammond, Angela Wallenburg, Thomas Wilson
{"title":"ABZ Languages and Tools in Industrial-Scale Application","authors":"Janet Barnes, J. Hammond, Angela Wallenburg, Thomas Wilson","doi":"10.1007/978-3-319-91271-4_1","DOIUrl":"https://doi.org/10.1007/978-3-319-91271-4_1","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122482533","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 : 2018-06-05DOI: 10.1007/978-3-319-91271-4_30
Julien Brunel, D. Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo, Jeanne Tawa
{"title":"Proposition of an Action Layer for Electrum","authors":"Julien Brunel, D. Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo, Jeanne Tawa","doi":"10.1007/978-3-319-91271-4_30","DOIUrl":"https://doi.org/10.1007/978-3-319-91271-4_30","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133014585","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 : 2018-06-05DOI: 10.1007/978-3-319-91271-4_20
Dominik Hansen, M. Leuschel, David Schneider, Sebastian Krings, Philipp Körner, Thomas Naulin, Nader Nayeri, Frank Skowron
{"title":"Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains","authors":"Dominik Hansen, M. Leuschel, David Schneider, Sebastian Krings, Philipp Körner, Thomas Naulin, Nader Nayeri, Frank Skowron","doi":"10.1007/978-3-319-91271-4_20","DOIUrl":"https://doi.org/10.1007/978-3-319-91271-4_20","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"104 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134004712","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 : 2018-06-05DOI: 10.1007/978-3-319-91271-4_6
Sebastian Krings, Joshua Schmidt, C. Brings, M. Frappier, M. Leuschel
{"title":"A Translation from Alloy to B","authors":"Sebastian Krings, Joshua Schmidt, C. Brings, M. Frappier, M. Leuschel","doi":"10.1007/978-3-319-91271-4_6","DOIUrl":"https://doi.org/10.1007/978-3-319-91271-4_6","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128313681","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 : 2018-06-05DOI: 10.1007/978-3-319-91271-4_15
Chenyang Zhu, M. Butler, C. Cîrstea
{"title":"Refinement of Timing Constraints for Concurrent Tasks with Scheduling","authors":"Chenyang Zhu, M. Butler, C. Cîrstea","doi":"10.1007/978-3-319-91271-4_15","DOIUrl":"https://doi.org/10.1007/978-3-319-91271-4_15","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133924232","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 : 2018-06-05DOI: 10.1007/978-3-319-91271-4_14
Flavio Ferrarotti, Senén González, K. Schewe, José Maria Turull Torres
{"title":"Systematic Refinement of Abstract State Machines with Higher-Order Logic","authors":"Flavio Ferrarotti, Senén González, K. Schewe, José Maria Turull Torres","doi":"10.1007/978-3-319-91271-4_14","DOIUrl":"https://doi.org/10.1007/978-3-319-91271-4_14","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"8 12","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120814285","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 : 2018-06-05DOI: 10.1007/978-3-319-91271-4_24
A. Mammar, M. Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau
{"title":"An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard","authors":"A. Mammar, M. Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau","doi":"10.1007/978-3-319-91271-4_24","DOIUrl":"https://doi.org/10.1007/978-3-319-91271-4_24","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134546001","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 : 2018-06-05DOI: 10.1007/978-3-319-91271-4_8
Kaiyuan Wang, Allison Sullivan, Manos Koukoutos, D. Marinov, S. Khurshid
{"title":"Systematic Generation of Non-equivalent Expressions for Relational Algebra","authors":"Kaiyuan Wang, Allison Sullivan, Manos Koukoutos, D. Marinov, S. Khurshid","doi":"10.1007/978-3-319-91271-4_8","DOIUrl":"https://doi.org/10.1007/978-3-319-91271-4_8","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121967915","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 : 2018-06-05DOI: 10.1007/978-3-319-91271-4_31
Wen Su, Jinxin Chen, Shehroz Khan
{"title":"Insulin Pump: Modular Modeling of Hybrid Systems Using Event-B","authors":"Wen Su, Jinxin Chen, Shehroz Khan","doi":"10.1007/978-3-319-91271-4_31","DOIUrl":"https://doi.org/10.1007/978-3-319-91271-4_31","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132528815","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 : 2018-06-05DOI: 10.1007/978-3-319-91271-4_3
J. Abrial
{"title":"On B and Event-B: Principles, Success and Challenges","authors":"J. Abrial","doi":"10.1007/978-3-319-91271-4_3","DOIUrl":"https://doi.org/10.1007/978-3-319-91271-4_3","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124979377","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
扫码关注我们
求助内容：
应助结果提醒方式：