×

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

具有数据的组件代数中的中介合成。 (英语) Zbl 1444.68103号

Meyer,Roland(编辑)等人,《正确的系统设计》。2015年9月8日至9日,德国奥尔登堡,纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9360, 238-259 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过扩展森林自动机验证具有有序数据的堆操作程序。 (英语) Zbl 1344.68135号

Hung,Dang Van(编辑)等人,《用于验证和分析的自动化技术》。2013年10月15日至18日,第11届国际研讨会,2013年ATVA,越南河内。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-02443-1/pbk)。计算机科学课堂讲稿8172224-239(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种用于高度并发数据结构的集成规范和验证技术。 (英语) Zbl 1381.68141号

Piterman,Nir(编辑)等人,《系统构建和分析的工具和算法》。2013年3月16日至24日,第19届国际会议(TACAS 2013)在意大利罗马举行,作为欧洲软件理论与实践联合会议(ETAPS 2013)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-36741-0/pbk)。计算机科学课堂讲稿7795,324-338(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

组件行为的组合规范理论。 (英语) 兹比尔1352.68149

Seidl,Helmut(编辑),《编程语言和系统》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第21届欧洲编程研讨会(ESOP 2012)是欧洲软件理论与实践联合会议(ETAPS 2012)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-28868-5/pbk)。计算机科学讲义7211,148-168(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

简洁规范的寄存器自动机模型。 (英语) Zbl 1348.68095号

Bultan,Tevfik(编辑)等人,《验证和分析自动化技术》。2011年10月11日至14日,第九届国际研讨会,ATVA 2011,台湾台北。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24371-4/pbk)。计算机科学课堂讲稿6996366-380(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

对Angluin学习的见解。 (英语) 兹比尔1272.68164

Etalle,S.(ed.)等人,《软件验证与确认国际研讨会论文集》(SVV 2003),印度孟买,2003年12月9日至13日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记118,3-18(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

事件记录自动机的学习。 (英语) Zbl 1109.68515号

Lakhnech,Yassine(编辑)等人,《定时和容错系统的形式化技术、建模和分析》。2004年9月22日至24日在法国格勒诺布尔举行的关于时间系统的正式建模和分析、FORMATS 2004以及实时和容错系统中的正式技术的联合国际会议,FTRTFT 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-23167-6/pbk)。计算机科学课堂讲稿3253379-395(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

常规模型检查的算法改进。 (英语) Zbl 1278.68150号

Hunt,Warren A.jun.(编辑)等人,《计算机辅助验证》。第15届国际会议,2003年CAV,美国科罗拉多州博尔德,2003年7月8-12日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40524-0/pbk)。莱克特。注释计算。科学。2725, 236-248 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

定期树模型检查。 (英语) Zbl 1010.68087号

Brinksma,Ed(编辑)等人,《计算机辅助验证》。2002年7月27日至31日,丹麦哥本哈根,第14届国际会议,CAV 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2404, 555-568 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

概率有损信道系统的推理。 (英语) Zbl 0999.68145号

Palamidessi,Catuscia(编辑),CONCUR 2000-并发理论。2000年8月22日至25日,第11届国际会议,美国宾夕法尼亚州大学公园。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1877, 320-333 (2000).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段