×

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

定时I/O自动机理论。第2版。 (英语) Zbl 1226.68004号

分布式计算理论综合讲座5.加利福尼亚州圣拉斐尔:摩根和克莱普尔出版社(ISBN 978-1-60845-002-2/pbk;978-1-69845-003-9/ebook)。xiv,123页。(2011).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

定时I/O自动机理论。 (英语) Zbl 1250.68005号

计算机科学综合讲座1.加利福尼亚州圣拉斐尔:摩根和克莱普尔出版社(ISBN 1-59829-010-X/pbk;1-59829-011-8/电子书)。xi,第101页。(2010).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

证明概率I/O自动机的近似实现。 (英语) Zbl 1277.68111号

Cook,B.(ed.)等人,第四届自动推理决策程序语用学研讨会(PDPAR 2006)和第一届概率自动机和逻辑国际研讨会(PaUL 2006)的联合会议记录,西雅图,华盛顿州,美国,2006年8月。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》174,第8期,71-93(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

翻译用于PVS中定理证明的定时I/O自动机规范。 (英语) Zbl 1175.68259号

Pettersson,Paul(编辑)等,时间系统的形式化建模和分析。第三届国际会议,FORMATS 2005,乌普萨拉,瑞典,2005年9月26-28日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30946-2/pbk)。计算机科学课堂讲稿3829,17-31(2005)。
MSC公司:60年第68季度 65年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

对定时I/O自动机进行分解验证。 (英语) Zbl 1109.68506号

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

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段

软件