Pub Date : 2018-06-05DOI: 10.1007/978-3-319-91271-4_23
Dana Dghaym, M. Poppleton, C. Snook
{"title":"Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3","authors":"Dana Dghaym, M. Poppleton, C. Snook","doi":"10.1007/978-3-319-91271-4_23","DOIUrl":"https://doi.org/10.1007/978-3-319-91271-4_23","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"13 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":"134297482","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_9
Kaiyuan Wang, Allison Sullivan, D. Marinov, S. Khurshid
{"title":"Solver-Based Sketching of Alloy Models Using Test Valuations","authors":"Kaiyuan Wang, Allison Sullivan, D. Marinov, S. Khurshid","doi":"10.1007/978-3-319-91271-4_9","DOIUrl":"https://doi.org/10.1007/978-3-319-91271-4_9","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"2 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":"124518576","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_10
C. Beierle, K. Schewe
{"title":"Abstract State Machines with Exact Real Arithmetic","authors":"C. Beierle, K. Schewe","doi":"10.1007/978-3-319-91271-4_10","DOIUrl":"https://doi.org/10.1007/978-3-319-91271-4_10","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"64 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":"127245105","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_19
Paolo Arcaini, P. Jezek, J. Kofroň
{"title":"Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin","authors":"Paolo Arcaini, P. Jezek, J. Kofroň","doi":"10.1007/978-3-319-91271-4_19","DOIUrl":"https://doi.org/10.1007/978-3-319-91271-4_19","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"73 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":"121601909","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_13
Farah Al-Shareefi, A. Lisitsa, C. Dixon
{"title":"Clarification of Ambiguity for the Simple Authentication and Security Layer","authors":"Farah Al-Shareefi, A. Lisitsa, C. Dixon","doi":"10.1007/978-3-319-91271-4_13","DOIUrl":"https://doi.org/10.1007/978-3-319-91271-4_13","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"38 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":"116835313","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_25
S. Bonfanti, A. Gargantini, A. Mashkoor
{"title":"AsmetaA: Animator for Abstract State Machines","authors":"S. Bonfanti, A. Gargantini, A. Mashkoor","doi":"10.1007/978-3-319-91271-4_25","DOIUrl":"https://doi.org/10.1007/978-3-319-91271-4_25","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"168 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":"124763358","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_12
R. Banach
{"title":"Issues in Automated Urban Train Control: 'Tackling' the Rugby Club Problem","authors":"R. Banach","doi":"10.1007/978-3-319-91271-4_12","DOIUrl":"https://doi.org/10.1007/978-3-319-91271-4_12","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":"117200938","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_33
L. Burdy, D. Déharbe
{"title":"Teaching an Old Dog New Tricks - The Drudges of the Interactive Prover in Atelier B","authors":"L. Burdy, D. Déharbe","doi":"10.1007/978-3-319-91271-4_33","DOIUrl":"https://doi.org/10.1007/978-3-319-91271-4_33","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"73 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":"124231830","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_28
Inna Vistbakka, M. Barash, E. Troubitsyna
{"title":"Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B","authors":"Inna Vistbakka, M. Barash, E. Troubitsyna","doi":"10.1007/978-3-319-91271-4_28","DOIUrl":"https://doi.org/10.1007/978-3-319-91271-4_28","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":"121241025","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_16
Mohammadsadegh Dalvandi, M. Butler, A. Rezazadeh, Asieh Salehi Fathabadi
{"title":"Verifiable Code Generation from Scheduled Event-B Models","authors":"Mohammadsadegh Dalvandi, M. Butler, A. Rezazadeh, Asieh Salehi Fathabadi","doi":"10.1007/978-3-319-91271-4_16","DOIUrl":"https://doi.org/10.1007/978-3-319-91271-4_16","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":"116534628","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
扫码关注我们
求助内容：
应助结果提醒方式：