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

Theories of Programming and Formal Methods最新文献

筛选
英文 中文
On the Relationship between LTL Normal Forms and Büchi Automata 论LTL范式与<s:1>迟自动机的关系
Theories of Programming and Formal Methods Pub Date : 2012-07-16 DOI: 10.1007/978-3-642-39698-4_16
Jianwen Li, G. Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim G. Larsen
{"title":"On the Relationship between LTL Normal Forms and Büchi Automata","authors":"Jianwen Li, G. Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim G. Larsen","doi":"10.1007/978-3-642-39698-4_16","DOIUrl":"https://doi.org/10.1007/978-3-642-39698-4_16","url":null,"abstract":"","PeriodicalId":234115,"journal":{"name":"Theories of Programming and Formal Methods","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125199161","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}
引用次数: 5
Performance Estimation Using Symbolic Data 使用符号数据进行性能估计
Theories of Programming and Formal Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-39698-4_21
Jian Zhang
{"title":"Performance Estimation Using Symbolic Data","authors":"Jian Zhang","doi":"10.1007/978-3-642-39698-4_21","DOIUrl":"https://doi.org/10.1007/978-3-642-39698-4_21","url":null,"abstract":"","PeriodicalId":234115,"journal":{"name":"Theories of Programming and Formal Methods","volume":"975 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123082934","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}
引用次数: 1
Towards a Modeling Language for Cyber-Physical Systems 面向信息物理系统的建模语言
Theories of Programming and Formal Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-39698-4_24
Longfei Zhu, Yongxin Zhao, Huibiao Zhu, Qiwen Xu
{"title":"Towards a Modeling Language for Cyber-Physical Systems","authors":"Longfei Zhu, Yongxin Zhao, Huibiao Zhu, Qiwen Xu","doi":"10.1007/978-3-642-39698-4_24","DOIUrl":"https://doi.org/10.1007/978-3-642-39698-4_24","url":null,"abstract":"","PeriodicalId":234115,"journal":{"name":"Theories of Programming and Formal Methods","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125117557","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}
引用次数: 1
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday 程序设计理论与形式方法——贺继峰八十大寿献词
Theories of Programming and Formal Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-40436-8
{"title":"Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday","authors":"","doi":"10.1007/978-3-031-40436-8","DOIUrl":"https://doi.org/10.1007/978-3-031-40436-8","url":null,"abstract":"","PeriodicalId":234115,"journal":{"name":"Theories of Programming and Formal Methods","volume":"295 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134116938","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
Concept Analysis Based Approach to Statistical Web Testing 基于概念分析的统计Web测试方法
Theories of Programming and Formal Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-39698-4_7
Chaojie Chen, Huai-kou Miao, Yihai Chen
{"title":"Concept Analysis Based Approach to Statistical Web Testing","authors":"Chaojie Chen, Huai-kou Miao, Yihai Chen","doi":"10.1007/978-3-642-39698-4_7","DOIUrl":"https://doi.org/10.1007/978-3-642-39698-4_7","url":null,"abstract":"","PeriodicalId":234115,"journal":{"name":"Theories of Programming and Formal Methods","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122211343","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}
引用次数: 1
Set-Theoretic Models of Computations 计算的集合论模型
Theories of Programming and Formal Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-39698-4_1
J. Abrial
{"title":"Set-Theoretic Models of Computations","authors":"J. Abrial","doi":"10.1007/978-3-642-39698-4_1","DOIUrl":"https://doi.org/10.1007/978-3-642-39698-4_1","url":null,"abstract":"","PeriodicalId":234115,"journal":{"name":"Theories of Programming and Formal Methods","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115213260","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}
引用次数: 1
Safety versus Security in the Quality Calculus 质量演算中的安全与保障
Theories of Programming and Formal Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-39698-4_18
H. R. Nielson, F. Nielson
{"title":"Safety versus Security in the Quality Calculus","authors":"H. R. Nielson, F. Nielson","doi":"10.1007/978-3-642-39698-4_18","DOIUrl":"https://doi.org/10.1007/978-3-642-39698-4_18","url":null,"abstract":"","PeriodicalId":234115,"journal":{"name":"Theories of Programming and Formal Methods","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125293489","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}
引用次数: 7
Invariants Synthesis over a Combined Domain for Automated Program Verification 面向自动程序验证的组合域不变量综合
Theories of Programming and Formal Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-39698-4_19
S. Qin, Guanhua He, W. Chin, Hongli Yang
{"title":"Invariants Synthesis over a Combined Domain for Automated Program Verification","authors":"S. Qin, Guanhua He, W. Chin, Hongli Yang","doi":"10.1007/978-3-642-39698-4_19","DOIUrl":"https://doi.org/10.1007/978-3-642-39698-4_19","url":null,"abstract":"","PeriodicalId":234115,"journal":{"name":"Theories of Programming and Formal Methods","volume":"218 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122395141","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}
引用次数: 2
Proving Safety of Traffic Manoeuvres on Country Roads 证明在郊野道路上行车的安全
Theories of Programming and Formal Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-39698-4_12
Martin Hilscher, Sven Linker, E. Olderog
{"title":"Proving Safety of Traffic Manoeuvres on Country Roads","authors":"Martin Hilscher, Sven Linker, E. Olderog","doi":"10.1007/978-3-642-39698-4_12","DOIUrl":"https://doi.org/10.1007/978-3-642-39698-4_12","url":null,"abstract":"","PeriodicalId":234115,"journal":{"name":"Theories of Programming and Formal Methods","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121356431","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}
引用次数: 34
A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng 代数群体的关系方法:从保罗Erdős到何继峰
Theories of Programming and Formal Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-39698-4_4
Jonathan P. Bowen
{"title":"A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng","authors":"Jonathan P. Bowen","doi":"10.1007/978-3-642-39698-4_4","DOIUrl":"https://doi.org/10.1007/978-3-642-39698-4_4","url":null,"abstract":"","PeriodicalId":234115,"journal":{"name":"Theories of Programming and Formal Methods","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127469259","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}
引用次数: 5
下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信
小红书