Pub Date : 2010-02-22DOI: 10.1007/978-3-642-11811-1_2
O. Hasan, S. Tahar
{"title":"Formal Probabilistic Analysis: A Higher-Order Logic Based Approach","authors":"O. Hasan, S. Tahar","doi":"10.1007/978-3-642-11811-1_2","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_2","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"73 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":"114532201","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_26
M. Slaymaker, D. Power, A. Simpson
{"title":"Formalising and Validating RBAC-to-XACML Translation Using Lightweight Formal Methods","authors":"M. Slaymaker, D. Power, A. Simpson","doi":"10.1007/978-3-642-11811-1_26","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_26","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":"115800035","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_11
J. Khoury, C. Abdallah, G. Heileman
{"title":"Towards Formalizing Network Architectural Descriptions","authors":"J. Khoury, C. Abdallah, G. Heileman","doi":"10.1007/978-3-642-11811-1_11","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_11","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"7 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":"114446708","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_4
J. Hassine
{"title":"AsmL-Based Concurrency Semantic Variations for Timed Use Case Maps","authors":"J. Hassine","doi":"10.1007/978-3-642-11811-1_4","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_4","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"26 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":"125999251","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_25
Michael Vernon, Frank Zeyda, Ana Cavalcanti
{"title":"Communication Systems in ClawZ","authors":"Michael Vernon, Frank Zeyda, Ana Cavalcanti","doi":"10.1007/978-3-642-11811-1_25","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_25","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"13 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":"129655438","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_31
D. Power, M. Slaymaker, A. Simpson
{"title":"On the Modelling and Analysis of Amazon Web Services Access Policies","authors":"D. Power, M. Slaymaker, A. Simpson","doi":"10.1007/978-3-642-11811-1_31","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_31","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"515 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":"132593491","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_14
A. Iliasov, E. Troubitsyna, L. Laibinis, A. Romanovsky, K. Varpaaniemi, D. Ilic, T. Latvala
{"title":"Supporting Reuse in Event B Development: Modularisation Approach","authors":"A. Iliasov, E. Troubitsyna, L. Laibinis, A. Romanovsky, K. Varpaaniemi, D. Ilic, T. Latvala","doi":"10.1007/978-3-642-11811-1_14","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_14","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"16 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":"123914958","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_9
J. Jacob
{"title":"Trace Specifications in Alloy","authors":"J. Jacob","doi":"10.1007/978-3-642-11811-1_9","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_9","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"216 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":"124250549","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_16
B. Gomes, D. Déharbe, A. Moreira, Katia Moraes
{"title":"Applying the B Method for the Rigorous Development of Smart Card Applications","authors":"B. Gomes, D. Déharbe, A. Moreira, Katia Moraes","doi":"10.1007/978-3-642-11811-1_16","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_16","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"98 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":"124069709","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_46
James R. Williams, F. Polack, R. Paige
{"title":"Formal Analysis in Model Management: Exploiting the Power of CZT","authors":"James R. Williams, F. Polack, R. Paige","doi":"10.1007/978-3-642-11811-1_46","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_46","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"29 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":"122874029","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
扫码关注我们
求助内容：
应助结果提醒方式：