×

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

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

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

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

Gupta,Aarti(编辑)等人,《计算机辅助验证》。2008年7月7日至14日在美国新泽西州普林斯顿举行的第20届国际会议,CAV 2008。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-70543-7/pbk)。计算机科学讲稿5123134(2008)。
MSC公司:60年第68季度
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)。
MSC公司:60年第68季度
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年1月14日至16日在法国尼斯举行的2007年VMCAI第八届国际会议。诉讼程序。柏林:施普林格出版社(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)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用

从有界响应特性合成控制器。 (英语) 兹比尔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 1225.68114号

Najm,Elie(编辑)等人,网络和分布式系统的形式化技术–FORTE 2006。第26届IFIP WG 6.1国际会议,法国巴黎,2006年9月26-29日。诉讼程序。柏林:施普林格出版社(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格式引用
全文: 内政部

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

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

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

艾默生·E·艾伦(编辑)等人,《验证、模型检查和抽象解释》。第七届国际会议,VMCAI 2006,查尔斯顿,南卡罗来纳州,美国,2006年1月8日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-31139-4/pbk)。计算机科学课堂讲稿3855267-281(2006)。
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公司:第68季度第45季度 03天35分 2005年第68季度 60年第68季度
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格式引用
全文: 内政部

将抽象与谓词抽象并列。 (英语) Zbl 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)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

TVOC:用于优化编译器的翻译验证器。 (英语) 兹比尔1081.68606

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

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

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

令人费解的排名。 (英语) Zbl 1126.68474号

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

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

de Boer,Frank S.(编辑)等人,组件和对象的形式化方法。2002年11月5日至8日在荷兰莱顿举行的2002年FMCO第一次国际研讨会。修订的讲座。柏林:施普林格出版社(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页 60年第68季度
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).
MSC公司:60年第68季度
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 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格式引用
全文: 链接

等价逻辑的范围分配。 (英语) 兹比尔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).
MSC公司:60年第68季度
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).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 链接

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

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

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

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

Ricart-Agrawala算法的形式化验证。 (英语) Zbl 1044.68677号

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

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

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

推测指令执行的两种验证方法的比较。 (英语) Zbl 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).
MSC公司:60年第68季度 第68页第15页 03B25号
PDF格式BibTeX公司 XML格式引用

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

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

时序逻辑中的系统规范和细化。 (英语) Zbl 0919.03027号

Shyamasundar,R.(编辑),《软件技术和理论计算机科学基础》。第十二届会议,印度新德里,1992年12月18-20日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。652, 1-38 (1992).
PDF格式BibTeX公司 XML格式引用

步骤中的内容:关于状态图的语义。 (英语) Zbl 1493.68121号

Ito,Takayasu(编辑)等人,《计算机软件的理论方面》。1991年9月24日至27日在日本仙台举行的TACS’91国际会议。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。526, 244-264 (1991).
MSC公司:68号30 68问题55
PDF格式BibTeX公司 XML格式引用
全文: 内政部

规范中的时序逻辑。1987年4月8日至10日,英国奥尔特林查姆。诉讼程序。 (英语) Zbl 0718.68002号

计算机科学课堂讲稿,第398页。柏林等:Springer-Verlag。六、 第448页,DM 63.00(1989)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份