Pub Date : 2010-02-22DOI: 10.1007/978-3-642-11811-1_35
Waël Hassan, Nadera Slimani, K. Adi, L. Logrippo
{"title":"Secrecy UML Method for Model Transformations","authors":"Waël Hassan, Nadera Slimani, K. Adi, L. Logrippo","doi":"10.1007/978-3-642-11811-1_35","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_35","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"185 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122998439","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 : 2010-02-22DOI: 10.1007/978-3-642-11811-1_24
Son Hoang, J. Abrial
{"title":"Event-B Decomposition for Parallel Programs","authors":"Son Hoang, J. Abrial","doi":"10.1007/978-3-642-11811-1_24","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_24","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128385336","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 : 2010-02-22DOI: 10.1007/978-3-642-11811-1_42
J. Sorge, M. Poppleton, M. Butler
{"title":"A Basis for Feature-Oriented Modelling in Event-B","authors":"J. Sorge, M. Poppleton, M. Butler","doi":"10.1007/978-3-642-11811-1_42","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_42","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131211775","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 : 2010-02-22DOI: 10.1007/978-3-642-11811-1_13
Nicolás D'Ippolito, M. Frias, Juan P. Galeotti, Esteban Lanzarotti, S. Mera
{"title":"Alloy+HotCore: A Fast Approximation to Unsat Core","authors":"Nicolás D'Ippolito, M. Frias, Juan P. Galeotti, Esteban Lanzarotti, S. Mera","doi":"10.1007/978-3-642-11811-1_13","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_13","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115596878","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 : 2010-02-22DOI: 10.1007/978-3-642-11811-1_6
Paolo Arcaini, A. Gargantini, E. Riccobene
{"title":"AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications","authors":"Paolo Arcaini, A. Gargantini, E. Riccobene","doi":"10.1007/978-3-642-11811-1_6","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_6","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123435489","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 : 2010-02-22DOI: 10.1007/978-3-642-11811-1_38
A. Mashkoor, A. Matoussi
{"title":"Towards Validation of Requirements Models","authors":"A. Mashkoor, A. Matoussi","doi":"10.1007/978-3-642-11811-1_38","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_38","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129907135","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 : 2010-02-22DOI: 10.1007/978-3-642-11811-1_40
Issam Maamria, M. Butler, A. Edmunds, A. Rezazadeh
{"title":"On an Extensible Rule-Based Prover for Event-B","authors":"Issam Maamria, M. Butler, A. Edmunds, A. Rezazadeh","doi":"10.1007/978-3-642-11811-1_40","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_40","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"134 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124379971","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 : 2010-02-22DOI: 10.1007/978-3-642-11811-1_18
E. Turner, M. Butler, M. Leuschel
{"title":"A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking","authors":"E. Turner, M. Butler, M. Leuschel","doi":"10.1007/978-3-642-11811-1_18","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_18","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"451 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131774555","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 : 2010-02-22DOI: 10.1007/978-3-642-11811-1_41
J. Julliand, N. Stouls, Pierre-Christophe Bué, P. Masson
{"title":"B Model Abstraction Combining Syntactic and Semantic Methods","authors":"J. Julliand, N. Stouls, Pierre-Christophe Bué, P. Masson","doi":"10.1007/978-3-642-11811-1_41","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_41","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"176 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115889417","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
扫码关注我们
求助内容：
应助结果提醒方式：