停止战争！

Осрановиревойну！

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

2006年MoChArt：意大利Riva del Garda

>主页 >会议和研讨会 >MoChArt公司

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

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

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。