×

找到60份文件(结果1-60)

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

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

验证时间。纪念埃米尔·普努利的散文。 (英语) Zbl 1194.68054号

计算机科学课堂讲稿6200.柏林:施普林格出版社(ISBN 978-3-642-13753-2/pbk)。x、 401页。(2010).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算微积分。决策程序及验证申请。 (英语) Zbl 1126.03001号

柏林:施普林格出版社(ISBN 978-3-540-74112-1/hbk)。xv,第366页。(2007).
PDF格式BibTeX公司 XML格式引用

证明无限状态系统的ATL*属性。 (英语) 兹比尔1168.68428

Barkaoui,Kamel(编辑)等人,《计算的理论方面——ICTAC 2006》。第三次国际学术讨论会,突尼斯,突尼斯,2006年11月20日至24日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-48815-6/pbk)。计算机科学课堂讲稿4281,242-256(2006)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

加强验证约束问题。 (英语) Zbl 1168.68421号

Barkaoui,Kamel(编辑)等人,《计算的理论方面——ICTAC 2006》。第三次国际学术讨论会,突尼斯,突尼斯,2006年11月20日至24日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-48815-6/pbk)。计算机科学课堂讲稿4281,35-49(2006)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

数组的可判定性是什么? (英语) Zbl 1176.68116号

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

高效的强关联多面体分析。 (英语) Zbl 1176.68051号

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

整数线性回路的终止分析。 (英语) Zbl 1134.68343号

Abadi,Martín(编辑)等人,CONCUR 2005–并发理论。第16届国际会议,CONCUR 2005,美国加利福尼亚州旧金山,2005年8月23日至26日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28309-9/pbk)。计算机科学课堂讲稿3653488-502(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

事件模式反应式程序的最终语义。 (英语) Zbl 1151.68378号

JoséLuiz Fiadeiro等人,《计算机科学中的代数和余代数》。第一届国际会议,2005年CALCO,2005年9月3日至6日,英国斯旺西。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28620-9/pbk)。计算机科学课堂讲稿3629364-378(2005)。
MSC公司:68号30 第68季度55
PDF格式BibTeX公司 XML格式引用
全文: 内政部

循环的终止和不变性分析。 (英语) Zbl 1170.68508号

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

多等级原则。 (英语) Zbl 1081.68568号

Caires,Luís(编辑)等人,《自动化,语言和编程》。2005年7月11日至15日,葡萄牙里斯本,第32届国际学术讨论会,ICALP 2005。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27580-0/pbk)。计算机科学课堂讲稿35801349-1361(2005)。
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有可达性的线性排名。 (英语) Zbl 1081.68611号

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

多项式程序的终止。 (英语) Zbl 1111.68500号

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

使用数学规划对线性系统进行可缩放分析。 (英语) Zbl 1111.68514号

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

基于Gröbner基的非线性循环不变量生成。 (英语) Zbl 1325.68071号

2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-729-X)。318-329 (2004).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

具有整数约束的递归数据结构的决策过程。 (英语) Zbl 1126.68585号

David Basin(编辑)等人,《自动推理》。第二届国际联合会议,2004年7月4日至8日,爱尔兰科克,IJCAR 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22345-2/pbk)。计算机科学课程讲稿3097。人工智能课堂讲稿,152-167(2004)。
MSC公司:68吨15 68号30 68第05页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于约束的线性关系分析。 (英语) Zbl 1104.68023号

Giacobazzi,Roberto(编辑),静态分析。2004年8月26日至28日,第11届国际研讨会,SAS 2004,意大利维罗纳。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22791-1/pbk)。《计算机科学讲义》3148,53-68(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

合并决策程序。 (英语) Zbl 1274.68078号

Aichernig,Bernhard K.(编辑)等人,《十字路口的形式方法》。从万灵药到基础支持。2002年3月18日至20日,葡萄牙里斯本,联合国大学/国际软件技术研究所十周年座谈会。修订论文。柏林:施普林格出版社(ISBN 3-540-20527-6/pbk)。莱克特。注释计算。科学。2757, 381-422 (2003).
MSC公司:68号30 03B70号 60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

为了安全起见,交替使用临时图片。 (英语) Zbl 0973.68141号

Montanari,Ugo(编辑)等人,自动机,语言和编程。第27届国际学术讨论会,ICALP 2000,瑞士日内瓦,2000年7月9日至15日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1853, 429-450 (2000).
PDF格式BibTeX公司 XML格式引用

参数化容错系统的演绎验证:案例研究。 (英语) Zbl 0956.68083号

霍华德·巴林格等人,《时序逻辑的进展》。1997年,英国曼彻斯特国际刑事法庭第二届国际时序逻辑会议论文集。多德雷赫特:Kluwer学术出版社。申请。日志。序列号。16, 129-148 (2000).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用

通过图表上的动态归纳法验证参数化系统。 (英语) Zbl 1046.68601号

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

混合图:一种用于混合系统验证的演绎算法方法。 (英语) Zbl 1498.68156号

Reischuk,Rüdiger(编辑)等人,STACS 97。第十四届计算机科学理论方面年度研讨会。1997年2月27日至3月1日,德国吕贝克。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1200, 153-164 (1997).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过离散推理进行连续时间验证。 (英语) 兹比尔1496.68189

Alagar,V.S.(编辑)等人,《代数方法论和软件技术》。1995年7月3日至7日在加拿大蒙特利尔举行的1995年AMAST第四届国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。936, 292-306 (1995).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

广义时间验证图。 (英语) Zbl 1354.68171号

Thiagarajan,P.S.(编辑),《软件技术和理论计算机科学基础》。第十五届会议,印度班加罗尔,1995年12月18日至20日。诉讼程序。柏林:Springer-Verlag(ISBN 3-540-60692-0)。莱克特。注释计算。科学。1026, 484-498 (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名

出版年份

传记参考