Pub Date : 2016-05-23DOI: 10.1007/978-3-319-33600-8_1
E. Börger
{"title":"Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets","authors":"E. Börger","doi":"10.1007/978-3-319-33600-8_1","DOIUrl":"https://doi.org/10.1007/978-3-319-33600-8_1","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"89 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127162396","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 : 2016-05-23DOI: 10.1007/978-3-319-33600-8_14
Paolo Arcaini, S. Bonfanti, Marcel Dausend, A. Gargantini, A. Mashkoor, Alexander Raschke, E. Riccobene, P. Scandurra, M. Stegmaier
{"title":"Unified Syntax for Abstract State Machines","authors":"Paolo Arcaini, S. Bonfanti, Marcel Dausend, A. Gargantini, A. Mashkoor, Alexander Raschke, E. Riccobene, P. Scandurra, M. Stegmaier","doi":"10.1007/978-3-319-33600-8_14","DOIUrl":"https://doi.org/10.1007/978-3-319-33600-8_14","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"125 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123715692","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 : 2016-05-23DOI: 10.1007/978-3-319-33600-8_23
G. Babin, Y. A. Ameur, N. Singh, M. Pantel
{"title":"Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development","authors":"G. Babin, Y. A. Ameur, N. Singh, M. Pantel","doi":"10.1007/978-3-319-33600-8_23","DOIUrl":"https://doi.org/10.1007/978-3-319-33600-8_23","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":"2016-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133192422","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 : 2016-05-23DOI: 10.1007/978-3-319-33600-8_20
Dana Dghaym, Matheus Garay Trindade, Michael J. Butler, Asieh Salehi Fathabadi
{"title":"A Graphical Tool for Event Refinement Structures in Event-B","authors":"Dana Dghaym, Matheus Garay Trindade, Michael J. Butler, Asieh Salehi Fathabadi","doi":"10.1007/978-3-319-33600-8_20","DOIUrl":"https://doi.org/10.1007/978-3-319-33600-8_20","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"98 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126093853","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 : 2016-05-23DOI: 10.1007/978-3-319-33600-8_9
A. Edmunds, C. Snook, M. Waldén
{"title":"On Component-Based Reuse for Event-B","authors":"A. Edmunds, C. Snook, M. Waldén","doi":"10.1007/978-3-319-33600-8_9","DOIUrl":"https://doi.org/10.1007/978-3-319-33600-8_9","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121688436","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 : 2016-05-23DOI: 10.1007/978-3-319-33600-8_15
G. Schellhorn, G. Ernst, J. Pfähler, W. Reif
{"title":"A Relational Encoding for a Clash-Free Subset of ASMs","authors":"G. Schellhorn, G. Ernst, J. Pfähler, W. Reif","doi":"10.1007/978-3-319-33600-8_15","DOIUrl":"https://doi.org/10.1007/978-3-319-33600-8_15","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126189526","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 : 2016-05-23DOI: 10.1007/978-3-319-33600-8_28
Yuhui Lin, G. Grov, C. O'Halloran, G. Priiya
{"title":"A Super Industrial Application of PSGraph","authors":"Yuhui Lin, G. Grov, C. O'Halloran, G. Priiya","doi":"10.1007/978-3-319-33600-8_28","DOIUrl":"https://doi.org/10.1007/978-3-319-33600-8_28","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130415078","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 : 2016-05-23DOI: 10.1007/978-3-319-33600-8_12
Maha Boussabbeh, M. Tounsi, M. Mosbah, A. Kacem
{"title":"Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions","authors":"Maha Boussabbeh, M. Tounsi, M. Mosbah, A. Kacem","doi":"10.1007/978-3-319-33600-8_12","DOIUrl":"https://doi.org/10.1007/978-3-319-33600-8_12","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121257724","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 : 2016-05-23DOI: 10.1007/978-3-319-33600-8_5
Noran Azmy, Stephan Merz, Christoph Weidenbach
{"title":"A Rigorous Correctness Proof for Pastry","authors":"Noran Azmy, Stephan Merz, Christoph Weidenbach","doi":"10.1007/978-3-319-33600-8_5","DOIUrl":"https://doi.org/10.1007/978-3-319-33600-8_5","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115921640","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 : 2016-05-23DOI: 10.1007/978-3-319-33600-8_32
R. Banach
{"title":"Hemodialysis Machine in Hybrid Event-B","authors":"R. Banach","doi":"10.1007/978-3-319-33600-8_32","DOIUrl":"https://doi.org/10.1007/978-3-319-33600-8_32","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"100 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134278235","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
扫码关注我们
求助内容：
应助结果提醒方式：