×

找到20个文档(结果1–20)

变量密集型系统的统计模型检验。 (英语) Zbl 1507.68181号

Wehrheim,Heike(编辑)等人,《软件工程的基本方法》,第23届国际会议,FASE 2020,作为欧洲软件理论与实践联合会议的一部分,ETAPS 2020,爱尔兰都柏林,2020年4月25日至30日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12076, 294-314 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

将拓扑证明与模型检查集成到仪器迭代设计中。 (英语) Zbl 1507.68195号

Wehrheim,Heike(编辑)等人,《软件工程的基本方法》,第23届国际会议,FASE 2020,作为欧洲软件理论与实践联合会议的一部分,ETAPS 2020,爱尔兰都柏林,2020年4月25日至30日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12076,53-74(2020)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用

不确定性条件下的多机器人LTL规划。 (英语) Zbl 1460.68119号

Havelund,Klaus(编辑)等人,《形式方法》。2018年7月15日至17日,作为联邦逻辑会议的一部分,在英国牛津举行了2018年第22届国际研讨会(FM 2018)。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10951, 399-417 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

多值有界模型检查的直接算法。 (英语) Zbl 1183.68360号

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

筛选结果依据…

文档类型

全部的 前5名

出版年份

全部的 前3名

主字段