发布求助
文献互助 智能选刊 最新文献

International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z最新文献

筛选
英文 中文
Templates for Event-B Code Generation 用于事件b代码生成的模板
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z Pub Date : 2014-06-02 DOI: 10.1007/978-3-662-43652-3_25
A. Edmunds
{"title":"Templates for Event-B Code Generation","authors":"A. Edmunds","doi":"10.1007/978-3-662-43652-3_25","DOIUrl":"https://doi.org/10.1007/978-3-662-43652-3_25","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"115 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132953668","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}
引用次数: 3
Modeling and Analyzing Using ASMs: The Landing Gear System Case Study 基于asm的起落架系统建模与分析
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z Pub Date : 2014-06-02 DOI: 10.1007/978-3-319-07512-9_3
Paolo Arcaini, A. Gargantini, E. Riccobene
{"title":"Modeling and Analyzing Using ASMs: The Landing Gear System Case Study","authors":"Paolo Arcaini, A. Gargantini, E. Riccobene","doi":"10.1007/978-3-319-07512-9_3","DOIUrl":"https://doi.org/10.1007/978-3-319-07512-9_3","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":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129064835","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}
引用次数: 12
Detecting Network Policy Conflicts Using Alloy 使用Alloy检测网络策略冲突
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z Pub Date : 2014-06-02 DOI: 10.1007/978-3-662-43652-3_31
Ferney A. Maldonado-Lopez, J. Chavarriaga, Y. Donoso
{"title":"Detecting Network Policy Conflicts Using Alloy","authors":"Ferney A. Maldonado-Lopez, J. Chavarriaga, Y. Donoso","doi":"10.1007/978-3-662-43652-3_31","DOIUrl":"https://doi.org/10.1007/978-3-662-43652-3_31","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"173 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122437344","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}
引用次数: 21
Understanding and Planning Event-B Refinement through Primitive Rationales 通过基本原理理解和规划Event-B精化
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z Pub Date : 2014-06-02 DOI: 10.1007/978-3-662-43652-3_24
Tsutomu Kobayashi, F. Ishikawa, S. Honiden
{"title":"Understanding and Planning Event-B Refinement through Primitive Rationales","authors":"Tsutomu Kobayashi, F. Ishikawa, S. Honiden","doi":"10.1007/978-3-662-43652-3_24","DOIUrl":"https://doi.org/10.1007/978-3-662-43652-3_24","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":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115225309","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}
引用次数: 4
αRby - An Embedding of Alloy in Ruby αRby -合金在红宝石中的包埋
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z Pub Date : 2014-06-02 DOI: 10.1007/978-3-662-43652-3_5
Aleksandar Milicevic, I. Efrati, D. Jackson
{"title":"αRby - An Embedding of Alloy in Ruby","authors":"Aleksandar Milicevic, I. Efrati, D. Jackson","doi":"10.1007/978-3-662-43652-3_5","DOIUrl":"https://doi.org/10.1007/978-3-662-43652-3_5","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129180822","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}
引用次数: 19
Distributed ASM - Pitfalls and Solutions 分布式ASM -陷阱和解决方案
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z Pub Date : 2014-06-02 DOI: 10.1007/978-3-662-43652-3_18
A. Prinz, E. Sherratt
{"title":"Distributed ASM - Pitfalls and Solutions","authors":"A. Prinz, E. Sherratt","doi":"10.1007/978-3-662-43652-3_18","DOIUrl":"https://doi.org/10.1007/978-3-662-43652-3_18","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":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124392117","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}
引用次数: 10
Sealed Containers in Z Z字形密封容器
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z Pub Date : 2014-06-02 DOI: 10.1007/978-3-662-43652-3_12
E. Boiten, J. Jacob
{"title":"Sealed Containers in Z","authors":"E. Boiten, J. Jacob","doi":"10.1007/978-3-662-43652-3_12","DOIUrl":"https://doi.org/10.1007/978-3-662-43652-3_12","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"358 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125647989","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}
引用次数: 0
Landing Gear System: An ASM-Based Solution for the ABZ Case Study 起落架系统:一个基于asm的ABZ案例研究解决方案
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z Pub Date : 2014-06-02 DOI: 10.1007/978-3-319-07512-9_10
Felix Kossak
{"title":"Landing Gear System: An ASM-Based Solution for the ABZ Case Study","authors":"Felix Kossak","doi":"10.1007/978-3-319-07512-9_10","DOIUrl":"https://doi.org/10.1007/978-3-319-07512-9_10","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123774335","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}
引用次数: 9
Analysis of Self-⋆ and P2P Systems Using Refinement 自我-百科和P2P系统的精细化分析
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z Pub Date : 2014-06-02 DOI: 10.1007/978-3-662-43652-3_9
Manamiary Bruno Andriamiarina, D. Méry, N. Singh
{"title":"Analysis of Self-⋆ and P2P Systems Using Refinement","authors":"Manamiary Bruno Andriamiarina, D. Méry, N. Singh","doi":"10.1007/978-3-662-43652-3_9","DOIUrl":"https://doi.org/10.1007/978-3-662-43652-3_9","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122913659","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}
引用次数: 9
Introducing Aspect-Oriented Specification for Abstract State Machines 引入面向方面的抽象状态机规范
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z Pub Date : 2014-06-02 DOI: 10.1007/978-3-662-43652-3_15
Marcel Dausend, Alexander Raschke
{"title":"Introducing Aspect-Oriented Specification for Abstract State Machines","authors":"Marcel Dausend, Alexander Raschke","doi":"10.1007/978-3-662-43652-3_15","DOIUrl":"https://doi.org/10.1007/978-3-662-43652-3_15","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125157199","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}
引用次数: 4
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信