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

Modeling and Verification of Parallel Processes最新文献

筛选
英文 中文
Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography 有限状态模型的故障模型驱动测试派生:注释书目
Modeling and Verification of Parallel Processes Pub Date : 2000-06-19 DOI: 10.1007/3-540-45510-8_10
A. Petrenko
{"title":"Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography","authors":"A. Petrenko","doi":"10.1007/3-540-45510-8_10","DOIUrl":"https://doi.org/10.1007/3-540-45510-8_10","url":null,"abstract":"","PeriodicalId":202305,"journal":{"name":"Modeling and Verification of Parallel Processes","volume":"156 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127357141","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}
引用次数: 121
Industrial Applications of Model Checking 模型检验的工业应用
Modeling and Verification of Parallel Processes Pub Date : 2000-06-19 DOI: 10.1007/3-540-45510-8_6
A. Cimatti
{"title":"Industrial Applications of Model Checking","authors":"A. Cimatti","doi":"10.1007/3-540-45510-8_6","DOIUrl":"https://doi.org/10.1007/3-540-45510-8_6","url":null,"abstract":"","PeriodicalId":202305,"journal":{"name":"Modeling and Verification of Parallel Processes","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131096292","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}
引用次数: 17
UPPAAL - Now, Next, and Future 乌帕尔——现在、下一个和未来
Modeling and Verification of Parallel Processes Pub Date : 2000-06-19 DOI: 10.1007/3-540-45510-8_4
T. Amnell, G. Behrmann, J. Bengtsson, P. D’Argenio, Alexandre David, A. Fehnker, T. Hune, Bertrand Jeannet, K. Larsen, M. Möller, P. Pettersson, Carsten Weise, W. Yi
{"title":"UPPAAL - Now, Next, and Future","authors":"T. Amnell, G. Behrmann, J. Bengtsson, P. D’Argenio, Alexandre David, A. Fehnker, T. Hune, Bertrand Jeannet, K. Larsen, M. Möller, P. Pettersson, Carsten Weise, W. Yi","doi":"10.1007/3-540-45510-8_4","DOIUrl":"https://doi.org/10.1007/3-540-45510-8_4","url":null,"abstract":"","PeriodicalId":202305,"journal":{"name":"Modeling and Verification of Parallel Processes","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121884565","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}
引用次数: 139
Formal Methods in Practice: The Missing Links. A Perspective from the Security Area 形式化方法在实践中的应用:缺失的环节从安全领域的角度来看
Modeling and Verification of Parallel Processes Pub Date : 2000-06-19 DOI: 10.1007/3-540-45510-8_7
D. Bolignano, D. Métayer, C. Loiseaux
{"title":"Formal Methods in Practice: The Missing Links. A Perspective from the Security Area","authors":"D. Bolignano, D. Métayer, C. Loiseaux","doi":"10.1007/3-540-45510-8_7","DOIUrl":"https://doi.org/10.1007/3-540-45510-8_7","url":null,"abstract":"","PeriodicalId":202305,"journal":{"name":"Modeling and Verification of Parallel Processes","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132688726","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
Testing Transition Systems: An Annotated Bibliography 测试转换系统:注释书目
Modeling and Verification of Parallel Processes Pub Date : 2000-06-19 DOI: 10.1007/3-540-45510-8_9
E. Brinksma, J. Tretmans
{"title":"Testing Transition Systems: An Annotated Bibliography","authors":"E. Brinksma, J. Tretmans","doi":"10.1007/3-540-45510-8_9","DOIUrl":"https://doi.org/10.1007/3-540-45510-8_9","url":null,"abstract":"","PeriodicalId":202305,"journal":{"name":"Modeling and Verification of Parallel Processes","volume":"109 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116274590","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}
引用次数: 188
HMSCs as Partial Specifications ... with PNs as Completions HMSCs作为部分规范…以pn作为补全
Modeling and Verification of Parallel Processes Pub Date : 2000-06-19 DOI: 10.1007/3-540-45510-8_5
B. Caillaud, P. Darondeau, L. Hélouët, Gilles Lesventes
{"title":"HMSCs as Partial Specifications ... with PNs as Completions","authors":"B. Caillaud, P. Darondeau, L. Hélouët, Gilles Lesventes","doi":"10.1007/3-540-45510-8_5","DOIUrl":"https://doi.org/10.1007/3-540-45510-8_5","url":null,"abstract":"","PeriodicalId":202305,"journal":{"name":"Modeling and Verification of Parallel Processes","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132043996","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
Composition and Abstraction 构成与抽象
Modeling and Verification of Parallel Processes Pub Date : 2000-06-19 DOI: 10.1007/3-540-45510-8_3
A. Valmari
{"title":"Composition and Abstraction","authors":"A. Valmari","doi":"10.1007/3-540-45510-8_3","DOIUrl":"https://doi.org/10.1007/3-540-45510-8_3","url":null,"abstract":"","PeriodicalId":202305,"journal":{"name":"Modeling and Verification of Parallel Processes","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123065691","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
Verification of Systems with an Infinite State Space 具有无限状态空间的系统的验证
Modeling and Verification of Parallel Processes Pub Date : 2000-06-19 DOI: 10.1007/3-540-45510-8_8
J. Esparza
{"title":"Verification of Systems with an Infinite State Space","authors":"J. Esparza","doi":"10.1007/3-540-45510-8_8","DOIUrl":"https://doi.org/10.1007/3-540-45510-8_8","url":null,"abstract":"","PeriodicalId":202305,"journal":{"name":"Modeling and Verification of Parallel Processes","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124057276","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}
引用次数: 6
Model Checking: A Tutorial Overview 模型检查:教程概述
Modeling and Verification of Parallel Processes Pub Date : 2000-06-19 DOI: 10.1007/3-540-45510-8_1
Stephan Merz
{"title":"Model Checking: A Tutorial Overview","authors":"Stephan Merz","doi":"10.1007/3-540-45510-8_1","DOIUrl":"https://doi.org/10.1007/3-540-45510-8_1","url":null,"abstract":"","PeriodicalId":202305,"journal":{"name":"Modeling and Verification of Parallel Processes","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115721511","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}
引用次数: 135
Mobile Processes: A Commented Bibliography 移动进程:一个评论书目
Modeling and Verification of Parallel Processes Pub Date : 2000-06-19 DOI: 10.1007/3-540-45510-8_11
Silvano Dal-Zilio
{"title":"Mobile Processes: A Commented Bibliography","authors":"Silvano Dal-Zilio","doi":"10.1007/3-540-45510-8_11","DOIUrl":"https://doi.org/10.1007/3-540-45510-8_11","url":null,"abstract":"","PeriodicalId":202305,"journal":{"name":"Modeling and Verification of Parallel Processes","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115866712","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}
引用次数: 32
下一页 尾页
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学术官方微信