停止战争！

Остановите войну!

对于科学家：

默认搜索操作

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

问别人

2006年MoChArt：意大利里瓦·德尔加达

>主页 >会议和研讨会 >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/HoffmannSRKP06
- 问别人
- 股份记录
  持久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。