×

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

电子投票中多代理属性的验证:案例研究。 (英语) Zbl 07668114号

Fernández-Duque,David(编辑)等人,《模态逻辑的进展》。第14卷。第十四届会议记录(AiML 2022),法国雷恩,2022年8月22日至25日。伦敦:学院出版物。531-555 (2022).
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司

参数验证:简介。 (英语) Zbl 1464.68224号

Koutny,Maciej(编辑)等人,《Petri网和其他并发模型的事务处理XIV》。柏林:斯普林格。莱克特。注释计算。科学。11790, 64-100 (2019).
PDF格式BibTeX公司 XML格式引用

第25届时间表征与推理国际研讨会。《时代》2018,波兰华沙,2018年10月15日至17日。诉讼程序。 (英语) Zbl 1402.68016号

LIPIcs–莱布尼茨国际信息学会议录120.瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-089-7)。xiii,23篇文章,非连续页面,仅电子版,开放存取(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

对反应系统进行定量验证。 (英语) Zbl 1476.68092号

Amos,Martyn(编辑)等人,《非传统计算和自然计算》。2016年7月11日至15日在英国曼彻斯特举行的2016年UCNC第15届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9726, 142-154 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

应用时间自动机对安全协议进行模型检测。 (英语) Zbl 1304.68129号

王家村(编辑),基于有限状态的模型和应用手册。佛罗里达州博卡拉顿:CRC出版社(ISBN 978-1-4398-4618-6/hbk;978-1-439 8-4619-3/电子书)。《离散数学及其应用》,223-254(2013)。
PDF格式BibTeX公司 XML格式引用

使用整数时间步长检查时间Petri网的分支时间属性。 (英语) Zbl 1395.68197号

Koutny,Maciej(编辑)等人,《Petri网和其他并发模型事务》VIII。柏林:施普林格出版社(ISBN 978-3-642-40464-1/pbk)。计算机科学讲义8100。《期刊副刊》,89-105(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多代理系统的规范和验证。 (英语) Zbl 1250.68190号

Nick Bezhanishvili等人,《逻辑和计算讲座》。ESSLLI 2010年丹麦哥本哈根,2010年8月,ESSLLI2011年,斯洛文尼亚卢布尔雅那,2011年8月。精选课堂讲稿。柏林:施普林格出版社(ISBN 978-3-642-31484-1/pbk)。计算机科学课堂讲稿7388,210-263(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间认知逻辑的符号模型检验。 (英语) 兹比尔1356.68144

亚历山大·阿提基斯(编辑)等人,《逻辑程序、规范和行动》。纪念马雷克·塞尔戈特60岁生日的文章。柏林:施普林格出版社(ISBN 978-3-642-29413-6/pbk)。计算机科学课堂讲稿7360。《人工智能课堂讲稿》,172-195(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参数时间自动机的有界模型检验。 (英语) Zbl 1350.68183号

Jensen,Kurt(编辑)等人,《Petri网和其他并发模型事务》V.Berlin:Springer(ISBN 978-3-642-29071-8/pbk)。计算机科学6900课堂讲稿。《期刊副刊》,141-159(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用VerICS检查参数化模型。 (英语) Zbl 1312.68134号

Jensen,Kurt(编辑)等人,《Petri网和其他并发模型学报》IV。柏林:施普林格出版社(ISBN 978-3-642-18221-1/pbk)。计算机科学课程讲稿6550。《期刊副刊》,98-120(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一类分布式时间Petri网的基于SAT的(参数)可达性。 (英语) Zbl 1312.68137号

Jensen,Kurt(编辑)等人,《Petri网和其他并发模型学报》IV。柏林:施普林格出版社(ISBN 978-3-642-18221-1/pbk)。计算机科学课程讲稿6550。《期刊副刊》,72-97(2010年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基本网络系统的有界参数模型检验。 (英语) Zbl 1312.68135号

Jensen,Kurt(编辑)等人,《Petri网和其他并发模型学报》IV。柏林:施普林格出版社(ISBN 978-3-642-18221-1/pbk)。计算机科学课程讲稿6550。《期刊副刊》,42-71(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

面向检查UML状态机的参数可达性。 (英语) Zbl 1274.68199号

Pnueli,Amir(编辑)等人,《系统信息学的观点》。2009年6月15日至19日,俄罗斯新西伯利亚,第七届安德烈·埃尔肖夫国际纪念大会,PSI 2009。修订论文。柏林:施普林格出版社(ISBN 978-3-642-11485-4/pbk)。计算机科学课堂讲稿5947319-330(2010)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

面向模型检验时序认知逻辑的部分降阶。 (英语) Zbl 1226.68043号

Peled,Doron A.(编辑)等人,《模型检查和人工智能》。2008年7月21日在希腊帕特拉斯举行的2008年MoChArt第五届国际研讨会。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-642-00430-8/pbk)。计算机科学课堂讲稿5348。人工智能课堂讲稿,106-121(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过转换到自动机网络,对安全协议进行基于SAT的验证。 (英语) Zbl 1196.68140号

Edelkamp,Stefan(编辑)等人,《模型检查和人工智能》。2006年8月29日,第四届MoChArt研讨会,意大利里瓦德尔加达。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-540-74127-5/pbk)。计算机科学课堂讲稿4428。人工智能课堂讲稿,146-165(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间Petri网和时间自动机验证的进展。时间逻辑方法。 (英语) Zbl 1110.68087号

计算智能研究20.柏林:施普林格出版社(ISBN 3-540-32869-6/hbk)。xxxii,257页。(2006年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

道义解释系统的有界模型检验。 (英语) Zbl 1272.68279号

van der Hoek,Wiebe(编辑)等人,《第二届多智能体系统逻辑与通信国际研讨会论文集》,LCMAS,法国南希,2004年8月16日至20日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记126,93-114(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

时间自动机中检查可达性的高效分区细化。 (英语) Zbl 1099.68649号

Larsen,Kim G.(编辑)等,时间系统的形式化建模和分析。2003年9月6日至7日在法国马赛举行的2003年FORMATS第一次国际研讨会。修订论文。柏林:施普林格出版社(ISBN 3-540-21671-5/pbk)。《计算机科学讲义》2791,2-17(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间Petri网和时间自动机中时间属性的规范和模型检查。 (英语) Zbl 1094.68067号

Cortadella,Jordi(编辑)等人,《Petri网的应用和理论》,2004年。2004年6月21日至25日,第25届国际会议,意大利博洛尼亚ICATPN 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22236-7/pbk)。计算机科学课堂讲稿3099,37-76(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多值计算树逻辑的模型检查。 (英语) Zbl 1049.03026号

Fitting,Melvin(编辑)等人,《超越二:多值逻辑的理论和应用》。海德堡:Physica-Verlag(ISBN 3-7908-1541-1/pbk)。模糊软计算研究。114, 193-210 (2003).
PDF格式BibTeX公司 XML格式引用

\(surd\)erics:用于验证时间自动机和Estelle规范的工具。 (英语) Zbl 1031.68546号

Garavle,Hubert(编辑)等人,《系统构建和分析的工具和算法》。2003年4月7日至11日在波兰华沙举行的2003年第9届TACAS国际会议,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2619, 278-283 (2003).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 链接

面向TCTL通用片段的有界模型检查。 (英语) Zbl 1278.68192号

Damm,Werner(编辑)等人,《实时和容错系统中的形式化技术》。2002年9月9日至12日,第七届国际研讨会,FTRTFT 2002,由IFIP WG 2.2联合主办,德国奥尔登堡。诉讼程序。柏林:施普林格出版社(ISBN 3-540-44165-4/pbk)。计算机科学课堂讲稿2469265-288(2002)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

因果知识协议的有效模型检查。 (英语) Zbl 1053.68698号

Dunin-Kȩplicz,Barbara(编辑)等人,《从理论到多智能体系统的实践》。第二届中欧和东欧国际研讨会,CEEMAS 2001,波兰克拉科夫,2001年9月26-29日。修订论文。柏林:施普林格出版社(ISBN 3-540-43370-8)。莱克特。注释计算。科学。2296, 242-252 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

将模型检查从多值\(\text{CTL}^{ast}\)减少到\(\text{CTL{^{ast{\)。 (英语) Zbl 1012.68132号

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

走向网络空间的正式规范和验证。 (英语) Zbl 0988.68564号

Rash,James L.(编辑)等人,基于代理系统的形式化方法。2000年4月5日至7日,第一届国际研讨会,FAABS 2000,美国马里兰州Greenbelt。修订论文。柏林:斯普林格。莱克特。注释计算。科学。1871, 16-32 (2001).
PDF格式BibTeX公司 XML格式引用

用于检查时间Petri网分支性质的抽象和部分降阶。 (英语) Zbl 0986.68096号

Colom,José-Manuel(编辑)等人,《Petri网的应用和理论》,2001年。第22届国际会议,ICATPN 2001,英国泰恩河畔纽卡斯尔,2001年6月25-29日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2075, 323-342 (2001).
PDF格式BibTeX公司 XML格式引用
全文: 链接

跟踪系统上一阶时序逻辑的完全公理化。 (英语) Zbl 0883.68089号

Peled,Doron A.(编辑)等人,《验证中的偏序方法》。DIMACS研讨会,1996年7月24日至26日,美国新泽西州普林斯顿市普林斯顿大学。普罗维登斯,RI:AMS,美国数学学会。DIMACS系列。离散数学。西奥。计算。科学。29, 79-97 (1997).
PDF格式BibTeX公司 XML格式引用

部分顺序时间属性的层次结构。 (英语) Zbl 0949.68537号

Gabbay,Dov M.(编辑)等人,《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。827, 398-414 (1994).
PDF格式BibTeX公司 XML格式引用

事件结构的时态逻辑。 (英语) Zbl 0789.03030号

数理逻辑,程序。夏季计划。Conf.Ded.公司。第90届安尼夫。Arend Heyting,柴卡/巴尔格。1988, 327-338 (1990).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份