×

找到162个文档(结果1-100)

时间逻辑和公平离散系统。 (英语) Zbl 1392.68263号

Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。27-73 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

根据GR(1)规范有效综合异步系统。 (英语) Zbl 1326.68186号

Kuncak,Viktor(编辑)等人,《验证、模型检查和抽象解释》。2012年1月22日至24日,第13届国际会议,VMCAI 2012,美国宾夕法尼亚州费城。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-27939-3/pbk)。计算机科学课堂讲稿7148283-298(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

修订GR(1)规范的合成。 (英语) Zbl 1325.68151号

Barner,Sharon(编辑)等人,《硬件和软件:验证和测试》。2010年10月4日至7日,以色列海法HVC 2010第六届国际海法验证会议。修改选定的论文。柏林:施普林格出版社(ISBN 978-3-642-19582-2/pbk)。计算机科学课堂讲稿6504161-181(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

反应系统的时间验证:响应。 (英语) Zbl 1288.68169号

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

面向基于组件的混合系统设计:安全性和稳定性。 (英语) Zbl 1288.68162号

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

证明被反驳:符号模型检查器作为证明生成器。 (英语) Zbl 1274.68174号

Dennis Dams(编辑)等人,《并发性、组合性和正确性》。为纪念威廉·保尔·德罗弗而写的论文。柏林:施普林格出版社(ISBN 978-3-642-11511-0/pbk)。计算机科学课堂讲稿5930,221-236(2010)。
MSC公司:第68季度第60季度 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

鉴别模型检查。 (英语) Zbl 1155.68444号

Gupta,Aarti(编辑)等人,《计算机辅助验证》。2008年7月7日至14日在美国新泽西州普林斯顿举行的第20届国际会议,CAV 2008。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-70543-7/pbk)。计算机科学课堂讲稿5123,504-516(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用非事务性内存访问对事务性内存进行机械验证。 (英语) Zbl 1155.68430号

Gupta,Aarti(编辑)等人,《计算机辅助验证》。2008年7月7日至14日在美国新泽西州普林斯顿举行的第20届国际会议,CAV 2008。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-70543-7/pbk)。《计算机科学讲义》5123121-134(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于时间测试仪的优点。 (英语) Zbl 1143.68046号

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

你所需要的只是同情。 (英语) Zbl 1138.68457号

Logozzo,Francesco(编辑)等人,《验证、模型检查和抽象解释》。2008年1月7日至9日,第九届国际会议,VMCAI 2008,美国旧金山。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78162-2/pbk)。计算机科学课堂讲稿4905233-247(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

检查离散、定时和连续行为的时间属性。 (英语) Zbl 1133.68378号

Avron,Arnon(编辑)等人,《计算机科学的支柱》。在鲍里斯(波阿斯)·特拉赫滕布罗特85岁生日之际,为他撰写的论文。柏林:施普林格出版社(ISBN 978-3-540-78126-4/pbk)。计算机科学讲座笔记4800,475-505(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

单亲堆的形状分析。 (英语) Zbl 1132.68346号

Cook,Byron(编辑)等人,《验证、模型检查和抽象解释》。第八届国际会议,2007年VMCAI,法国尼斯,2007年1月14日至16日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-69735-0/pbk)。计算机科学课堂讲稿434991-105(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

反应式程序的验证和合成。 (英语) Zbl 1137.68041号

Broy,Manfred(编辑)等人,《软件系统可靠性和安全性》。《北约软件系统可靠性和安全高级研究所会议记录》,德国马克托伯恩多夫,2006年8月1日至13日。阿姆斯特丹:IOS出版社(ISBN 978-1-58603-731-4/hbk)。北约科学安全系列。D: 信息与通信安全9,298-340(2007)。
PDF格式BibTeX公司 XML格式引用

从有界响应特性合成控制器。 (英语) Zbl 1135.68477号

Damm,Werner(编辑)等人,《计算机辅助验证》。2007年7月3日至7日在德国柏林举行的2007年CAV第19届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73367-6/pbk)。计算机科学课堂讲稿4590,95-107(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

“不在乎”建模:用于开发预测系统模型的逻辑框架。 (英语) Zbl 1186.92021号

Grumberg,Orna(编辑)等人,《系统构建和分析的工具和算法》。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007,是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-71208-4/pbk)。计算机科学课堂讲稿4424343-357(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

未解释功能的功能一致性降低。 (英语) Zbl 1272.03071号

Armando,Alessandro(编辑)等人,《自动推理中决策过程的语用学第三次研讨会论文集》(PDPAR 2005),英国爱丁堡,2005年7月12日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》144,第2期,53-65(2006)。
MSC公司:03B35型 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 链接

不可见不变量的生动性。 (英语) Zbl 1225.68114号

Najm,Elie(编辑)等人,网络和分布式系统的形式化技术–FORTE 2006。2006年9月26日至29日,第26届IFIP WG 6.1国际会议,法国巴黎。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-46219-4/pbk)。计算机科学课堂讲稿4229356-371(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从MITL到时间自动机。 (英语) Zbl 1141.68436号

Asarin,Eugene(编辑)等人,《时间系统的形式化建模和分析》。第四届国际会议,FORMATS 2006,巴黎,法国,2006年9月25-27日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-45026-9/pbk)。计算机科学课堂讲稿4202,274-289(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分布式协议的无形安全。 (英语) Zbl 1133.68302号

Bugliesi,Michele(编辑)等人,《自动化,语言和编程》。2006年7月10日至14日,意大利威尼斯,第33届国际学术讨论会,ICALP 2006。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-540-35907-4/pbk)。计算机科学课堂讲稿4052528-539(2006)。
MSC公司:68个M12
PDF格式BibTeX公司 XML格式引用
全文: 内政部

反应性(1)设计的合成。 (英语) Zbl 1176.68126号

艾默生·E·艾伦(编辑)等人,《验证、模型检查和抽象解释》。第七届国际会议,VMCAI 2006,查尔斯顿,南卡罗来纳州,美国,2006年1月8日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-31139-4/pbk)。《计算机科学讲义》3855364-380(2006)。
MSC公司:第68季度第60季度 03B44号 68号30 94立方厘米
PDF格式BibTeX公司 XML格式引用
全文: 内政部

递归程序的分级抽象。 (英语) Zbl 1176.68047号

艾默生·E·艾伦(编辑)等人,《验证、模型检查和抽象解释》。第七届国际会议,VMCAI 2006,查尔斯顿,南卡罗来纳州,美国,2006年1月8日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-31139-4/pbk)。《计算机科学讲义》3855,267-281(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

实时时序逻辑:过去、现在、未来。 (英语) Zbl 1175.03009号

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

细化混合自动机的不可判定边界。 (英语) Zbl 1172.68521号

Ramanujam,R.(ed.)等人,FSTTCS 2005:软件技术和理论计算机科学基础。第25届国际会议,印度海得拉巴,2005年12月15日至18日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30495-9/pbk)。《计算机科学讲义》3821261-272(2005)。
MSC公司:65年第68季度 03天35分 2005年第68季度 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

将抽象排序为谓词抽象的伴侣,。 (英语) Zbl 1170.68524号

Peled,Doron A.(编辑)等人,《验证和分析自动化技术》。2005年10月4日至7日,第三届国际研讨会,ATVA 2005,台湾台北。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29209-8/pbk)。计算机科学课堂讲稿3707,1(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

将抽象与谓词抽象并列。 (英语) 兹比尔1169.68499

Wang,Farn(编辑),网络和分布式系统的形式化技术–FORTE 2005。第25届IFIP WG 6.1国际会议,台湾台北,2005年10月2-5日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29189-X/pbk)。计算机科学课堂讲稿3731,1-12(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

IIV:一个不可见的不变验证器。 (英语) Zbl 1081.68603号

Etessami,Kousha(编辑)等人,《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27231-3/pbk)。计算机科学课堂讲稿3576,408-412(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

TVOC:用于优化编译器的翻译验证器。 (英语) Zbl 1081.68606号

Etessami,Kousha(编辑)等人,《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27231-3/pbk)。《计算机科学讲义》357629-295(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过谓词抽象进行形状分析。 (英语) Zbl 1111.68396号

Cousot,Radhia(编辑),验证,模型检查和抽象解释。第六届国际会议,VMCAI 2005,巴黎,法国,2005年1月17日至19日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24297-X/pbk)。计算机科学讲座笔记3385,164-180(2005)。
MSC公司:68号30 68问题55
PDF格式BibTeX公司 XML格式引用
全文: 内政部

为了生动而抽象。 (英语) Zbl 1111.68513号

Cousot,Radhia(编辑),验证,模型检查和抽象解释。第六届国际会议,VMCAI 2005,巴黎,法国,2005年1月17日至19日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24297-X/pbk)。计算机科学讲座笔记3385146(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

重温综合:根据基于场景的需求生成状态图模型。 (英语) Zbl 1075.68614号

Kreowski,Hans-Jörg(编辑)等人,《软件和系统建模中的形式化方法》。在哈特穆特·埃里格60岁生日之际为他撰写的论文。柏林:施普林格出版社(ISBN 3-540-24936-2/pbk)。计算机科学讲座笔记3393,309-324(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分离公平性和良好基础,用于分析公平离散系统。 (英语) Zbl 1087.68066号

Halbwachs,Nicolas(编辑)等人,《系统构建和分析的工具和算法》。2005年4月4日至8日在英国爱丁堡举行的第11届国际会议,TACAS 2005,是欧洲软件理论与实践联合会议(ETAPS 2005)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25333-5/pbk)。计算机科学课堂讲稿3440124-139(2005)。
MSC公司:第68季度85 68号30 2005年第68季度 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于场景的规范的时间逻辑。 (英语) Zbl 1087.68596号

Halbwachs,Nicolas(编辑)等人,《系统构建和分析的工具和算法》。2005年4月4日至8日在英国爱丁堡举行的第11届国际会议,TACAS 2005,是欧洲软件理论与实践联合会议(ETAPS 2005)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25333-5/pbk)。计算机科学课堂讲稿3440445-460(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有无形排名的活力。 (英语) Zbl 1202.68248号

Steffen,Bernhard(编辑)等人,《验证、模型检查和抽象解释》。第五届国际会议,VMCAI 2004,意大利威尼斯,2004年1月11-13日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20803-8/pbk)。莱克特。注释计算。科学。2937, 223-238 (2004).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在可识别的计时语言上。 (英语) Zbl 1126.68459号

Walukiewicz,Igor(编辑),软件科学和计算结构基础。2004年3月29日至4月2日在西班牙巴塞罗那举行的第七届国际会议FOSSACS 2004,是欧洲软件理论与实践联合会议ETAPS 2004的一部分。程序。柏林:施普林格出版社(ISBN 3-540-21298-1/pbk)。计算机科学课堂讲稿2987348-362(2004)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

令人费解的排名。 (英语) 兹比尔1126.68474

Jensen,Kurt(ed.)等人,《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004,作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21299-X/pbk)。计算机科学课堂讲稿2988482-496(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

验证工业优化编译器的翻译。 (英语) Zbl 1108.68369号

Wang,Farn(编辑),验证和分析自动化技术。2004年10月31日至11月3日,第二届国际会议,ATVA 2004,中华民国台湾台北。诉讼程序。柏林:施普林格出版社(ISBN 3-540-23610-4/pbk)。计算机科学课堂讲稿3299,230-247(2004)。
MSC公司:68N20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分离逻辑的范围分配。 (英语) Zbl 1103.68079号

Alur,Rajeev(编辑)等人,《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22342-8/pbk)。计算机科学讲义3114,148-161(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

缩小公平模拟和跟踪包含之间的差距。 (英语) Zbl 1278.68178号

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

热释光阀:A光伏-基于ltl公司验证系统。 (英语) Zbl 1274.68202号

Dershowitz,Nachum(编辑),《验证:理论与实践》。在佐哈尔·曼纳64岁生日之际为他撰写的论文。柏林:施普林格出版社(ISBN 3-540-21002-4/pbk)。计算机科学课堂讲稿2772598-625(2003)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

理解UML:实时UML中并发和通信的正式语义。 (英语) Zbl 1254.68140号

de Boer,Frank S.(编辑)等人,组件和对象的形式化方法。2002年11月5日至8日,第一届国际研讨会,FMCO 2002,荷兰莱顿。修订的讲座。柏林:施普林格出版社(ISBN 3-540-20303-6/pbk)。莱克特。注释计算。科学。2852, 71-98 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

简单CNF公式的ROBDD大小。 (英语) Zbl 1179.68137号

Geist,Daniel(编辑)等人,《正确的硬件设计和验证方法》。第12届IFIP工作组10。5高级研究工作会议,CHARME 2003,意大利拉奎拉,2003年10月21日至24日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20363-X/pbk)。莱克特。注释计算。科学。2860, 363-377 (2003).
MSC公司:68吨15 68第05页 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过概率抽象进行参数化验证。 (英语) Zbl 1029.68104号

Andrew D.Gordon(编辑),《软件科学和计算结构基础》。2003年4月7日至11日,第六届国际会议,FOSSACS 2003,作为欧洲软件理论和实践联合会议的一部分,ETAPS 2003,波兰华沙。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2620, 87-102 (2003).
MSC公司:第68季度85 68号30
PDF格式BibTeX公司 XML格式引用
全文: 链接

借助参数化系统进行模型检查和抽象。 (英语) Zbl 1022.68580号

Zuck,Leonore D.(编辑)等人,《验证、模型检查和抽象解释》。2003年1月9日至11日,美国纽约州纽约市,第四届国际会议,VMCAI 2003。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2575, 4 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 链接

秀丽线虫发育的形式化建模:基于场景的方法。 (英语) Zbl 1053.92034号

Priami,Corrado(编辑),系统生物学中的计算方法。第一次国际研讨会,CMSB 2003,意大利罗维雷托,2003年2月24日至26日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-00605-2/pbk)。莱克特。注释计算。科学。2602, 4-20 (2003).
MSC公司:92D15型 68单位99 2005年第68季度 93A30型
PDF格式BibTeX公司 XML格式引用
全文: 链接

概率自由选择的自动验证。 (英语) Zbl 1057.68644号

Cortesi,Agostino(编辑),《验证、模型检查和抽象解释》。第三届国际研讨会,VMCAI 2002,意大利威尼斯,2002年1月21日至22日。修订论文。柏林:施普林格出版社(ISBN 3-540-43631-6)。莱克特。注释计算。科学。2294, 208-224 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

嵌入式系统:规范和验证方面的挑战。 (英语) Zbl 1027.68914号

Sangiovanni-Vincentelli,Alberto(编辑)等人,《嵌入式软件》。2002年10月7日至9日,在法国格勒诺布尔举行的第二次国际会议,EMSOFT 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2491, 1-14 (2002).
MSC公司:68单位99 68N99型
PDF格式BibTeX公司 XML格式引用
全文: 链接

行为要求的智能播放。 (英语) Zbl 1019.68622号

Aagaard,Mark D.(编辑)等人,《计算机辅助设计中的形式化方法》。第四届国际会议,2002年11月6日至8日,美国俄勒冈州波特兰市,FMCAD 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2517, 378-398 (2002).
MSC公司:68单位07
PDF格式BibTeX公司 XML格式引用
全文: 链接

网络不变量的作用。 (英语) Zbl 1012.68131号

Brim,Luboš(编辑)等人,CONCUR 2002-并发理论。第十三届国际会议,2002年8月20日至23日,捷克共和国布尔诺。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2421, 101-115 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

CTL(^{\ast})的演绎证明系统。 (英语) Zbl 1012.68119号

Brim,Luboš(编辑)等人,CONCUR 2002-并发理论。第十三届国际会议,2002年8月20日至23日,捷克共和国布尔诺。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2421,24-40(2002年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

使用\({(0,1,\infty)}\)-计数器抽象的活力。 (英语) Zbl 1010.68095号

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

等价逻辑的范围分配。 (英语) Zbl 1052.68088号

Hariharan,Ramesh(编辑)等人,FST TCS 2001:软件技术和理论计算机科学基础。第21届会议,印度班加罗尔,2001年12月13日至15日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43002-4)。莱克特。注释计算。科学。2245, 317-333 (2001).
PDF格式BibTeX公司 XML格式引用
全文: 链接

从伪造到验证。 (英语) Zbl 1052.68086号

Hariharan,Ramesh(编辑)等人,FST TCS 2001:软件技术和理论计算机科学基础。第21届会议,印度班加罗尔,2001年12月13日至15日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43002-4)。莱克特。注释计算。科学。2245, 292-304 (2001).
PDF格式BibTeX公司 XML格式引用
全文: 链接

除了定期模型检查。 (英语) Zbl 1052.68084号

Hariharan,Ramesh(编辑)等人,FST TCS 2001:软件技术和理论计算机科学基础。第21次会议,2001年12月13日至15日,印度班加罗尔。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43002-4)。莱克特。注释计算。科学。2245, 156-170 (2001).
PDF格式BibTeX公司 XML格式引用
全文: 链接

自动计算归纳断言的参数化验证。 (英语) Zbl 0991.68541号

Berry,Gérard(编辑)等人,《计算机辅助验证》。2001年7月18日至22日,第13届国际会议,CAV 2001,法国巴黎。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2102, 221-234 (2001).
PDF格式BibTeX公司 XML格式引用
全文: 链接

使用不可见不变量进行自动演绎验证。 (英语) Zbl 0978.68539号

Margaria,Tiziana(编辑)等,系统构建和分析的工具和算法。2001年4月2日至6日在意大利热那瓦举行的第七届国际会议TACAS 2001,是欧洲软件理论与实践联合会议ETAPS 2001的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2031, 82-97 (2001).
MSC公司:第68季度第60季度 68吨15 68号30
PDF格式BibTeX公司 XML格式引用
全文: 链接

驯服无限:用有限方法验证无限状态反应系统。 (英语) Zbl 0989.68092号

霍尔,托尼(编辑)等人,软件构建的工程理论。《北约ASI会议记录》,德国马克托伯多夫,2000年7月25日至8月6日。阿姆斯特丹:IOS出版社。北约科学。序列号。三、 计算。系统。科学。180, 261-299 (2001).
PDF格式BibTeX公司 XML格式引用

Ricart-Agrawala算法的形式化验证。 (英语) 兹比尔1044.68677

Kapoor,Sanjiv(编辑)等人,FST TCS 2000:软件技术和理论计算机科学基础。第20届会议,印度新德里,2000年12月13日至15日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-41413-4)。莱克特。注释计算。科学。1974, 325-335 (2000).
PDF格式BibTeX公司 XML格式引用
全文: 链接

参数化验证中的活力和加速。 (英语) Zbl 0974.68521号

Emerson,E.Allen(编辑)等人,《计算机辅助验证》。第十二届国际会议,CAV 2000。2000年7月15日至19日,美国伊利诺伊州芝加哥。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1855, 328-343 (2000).
PDF格式BibTeX公司 XML格式引用

推测指令执行的两种验证方法的比较。 (英语) 兹比尔0971.68576

Graf,Susanne(编辑)等人,《系统构建和分析的工具和算法》。第六届国际会议,TACAS 2000。作为2000年3月25日至4月2日在德国柏林举行的欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1785, 487-502 (2000).
PDF格式BibTeX公司 XML格式引用

通过小域实例化确定等式公式。 (英语) Zbl 1046.68605号

Halbwachs,Nicolas(编辑)等人,《计算机辅助验证》。第11届国际会议,CAV’99。意大利特伦托,1999年7月6日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-66202-2)。莱克特。注释计算。科学。1633, 455-469 (1999).
PDF格式BibTeX公司 XML格式引用

通过增强抽象验证活性。 (英语) Zbl 0944.68128号

Flum,Jörg(编辑)等人,《计算机科学逻辑》。第十三届国际研讨会,CSL’99。1999年9月20日至25日在西班牙马德里举行的欧洲原子能委员会第八届年会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1683, 141-156 (1999).
PDF格式BibTeX公司 XML格式引用

正交多面体:表示和计算。 (英语) Zbl 0947.68154号

Vaandrager,Frits W.(编辑)等,《混合系统:计算和控制》。第二届国际研讨会,HSCC’99。Berg en Dal,荷兰,1999年3月29日至31日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1569, 46-60 (1999).
MSC公司:05年6月 52B99号
PDF格式BibTeX公司 XML格式引用

时间自动机和数字电路中延迟的离散化。 (英语) Zbl 0933.94045号

Sangiorgi,Davide(编辑)等人,CONCUR’98。并发理论。第九届国际会议,法国尼斯,1998年9月8日至11日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1466, 470-484 (1998).
MSC公司:94立方厘米
PDF格式BibTeX公司 XML格式引用

用于硬件验证的Herbrand自动机。 (英语) 兹伯利0940.68051

Sangiorgi,Davide(编辑)等人,CONCUR’98。并发理论。第九届国际会议,法国尼斯,1998年9月8日至11日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1466, 67-83 (1998).
MSC公司:2005年第68季度
PDF格式BibTeX公司 XML格式引用

关于定时系统离散控制器的综合。 (英语) Zbl 1379.68227号

Mayr,Ernst W.(编辑)等人,STACS 95。1995年3月2日至4日,德国慕尼黑,第十二届计算机科学理论方面年度研讨会。诉讼程序。柏林:Springer-Verlag(ISBN 3-540-59042-0)。计算机科学讲义900,229-242(1995)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间验证图。 (英语) Zbl 0942.03527号

Hagiya,Masami(编辑)等人,《计算机软件的理论方面》。1994年4月19日至22日,第二届TACS’94国际研讨会,日本仙台。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。789, 726-765 (1994).
PDF格式BibTeX公司 XML格式引用

数字钟有什么好处? (英语) Zbl 1425.68255号

Kuich,Werner(编辑),自动机,语言和编程。第19届国际学术讨论会,1992年7月13日至17日,奥地利维也纳。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。623, 545-558 (1992).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间属性类的特征。 (英语) Zbl 1425.68252号

Kuich,Werner(编辑),自动机,语言和编程。第19届国际学术讨论会,1992年7月13日至17日,奥地利维也纳。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。623, 474-486 (1992).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份