×

找到10个文档(结果1-10)

用于验证具有参数化体系结构的系统的结构不变量。 (英语) Zbl 1507.68179号

Biere,Armin(编辑)等人,《系统构建和分析的工具和算法》。第26届国际会议,TACAS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12078, 228-246 (2020).
PDF格式BibTeX公司 XML格式引用

分布式系统的基于知识的调度。 (英语) 兹比尔1288.68178

Manna,Zohar(编辑)等人,《验证时间》。纪念埃米尔·普努利的散文。柏林:施普林格出版社(ISBN 978-3-642-13753-2/pbk)。计算机科学讲义6200,26-41(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

基于组件的系统和应用程序的组成验证。 (英语) Zbl 1183.68364号

Cha,Sungdeok(Steve)(编辑)等人,验证和分析自动化技术。2008年10月20日至23日,第六届国际研讨会,ATVA 2008,韩国首尔。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-88386-9/pbk)。计算机科学课堂讲稿5311,64-79(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

CESAR中并发系统的规范和验证。 (英语) Zbl 1142.68440号

Grumberg,Orna(编辑)等人,25年的模型检查。历史、成就、观点。柏林:施普林格出版社(ISBN 978-3-540-69849-4/pbk)。计算机科学讲义5000,216-230(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段