搜索dblp
全文搜索
> 主页
请输入搜索查询
作者搜索结果
场馆搜索结果
优化列表
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
出版物搜索结果
2007 斯特凡·埃德尔坎普 , 阿莱西奥·洛穆西奥 :
模型检查和人工智能,第四次研讨会,MoChArt IV,Riva del Garda,意大利,2006年8月29日,修订的精选和邀请论文。 计算机科学课堂讲稿 4428, 施普林格 2007 ,国际标准图书编号 978-3-540-74127-5 [目录] 2006 娜塔莎·阿列奇纳 , 皮埃尔吉奥·贝尔托利 , 奇亚拉·吉迪尼 , 马克·贾戈 , 布莱恩·洛根 , 卢西亚诺·塞拉菲尼 :
验证基于资源的代理的空间和时间要求。 MoChArt公司 2006 : 19-34 塔达希·阿拉拉吉 , Seung Mo Cho先生 :
通过强化学习检查并发系统的活性属性。 MoChArt公司 2006 : 84-94 皮埃尔吉奥·贝尔托利 , 马可·波扎诺 , 亚历山德罗·西马蒂 :
安全分析、诊断和综合的符号模型检查框架。 MoChArt公司 2006 : 1-18 斯特凡·埃德尔坎普 :
模式数据库搜索启发的自动创建。 MoChArt公司 2006 : 35-50 斯特凡·埃德尔坎普 , 沙希德·贾巴尔 :
辅助存储器上的实时模型检查。 MoChArt公司 2006 : 67-83 约格·霍夫曼 , Jan-Georg Smaus公司 , 安德烈·里巴尔琴科 , 塞巴斯蒂安·库普费施米德 , 安德烈亚斯·波德尔斯基 :
使用谓词抽象在UPPAAL中生成启发式函数。 MoChArt公司 2006 : 51-66 米罗斯瓦夫·库尔科夫斯基 , Wojciech Penczek公司 , 安德烈·兹布热兹尼 :
基于SAT的安全协议验证,通过转换到自动机网络。 MoChArt公司 2006 : 146-165 阿莱西奥·洛穆西奥 , 博泽娜·沃兹纳 , 安德烈·兹布热兹尼 :
具有时钟差异的实时多智能体系统的有界模型检验:理论与实现。 MoChArt公司 2006 : 95-112 查尔斯·佩切尔 , 弗兰科·雷蒙迪 :
带动作的逻辑符号模型检查。 MoChArt公司 2006 : 113-128 弗朗西斯科·维冈 :
模型检查机构框架。 MoChArt公司 2006 : 129-145 安东·威伊斯 , 伯特·利瑟 :
用于定量模型检查的分布式扩展波束搜索。 MoChArt公司 2006 : 166-184