默认搜索操作

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

问别人

第八届ATVA 2010：新加坡

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/2010年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/2010
艾哈迈德·布阿贾尼,魏恩甘钦:
验证和分析自动化技术——第八届国际研讨会，2010年9月21日至24日，新加坡，ATVA 2010。诉讼程序。计算机科学课堂讲稿6252,施普林格 2010，国际标准图书编号978-3-642-15642-7

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/ChatterjeeH10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/ChatterjeeH10
克里希南德·查特吉,托马斯·汉津格:
无限词上的概率自动机：可决定性和不可决定性结果。 1-16
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/JaffarNS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/JaffarNS10
Joxan Jaffar公司,豪尔赫·纳瓦斯,安德鲁·桑托萨:
抽象学习。 17
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/Walukiewicz10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/Walukiewicz10
伊戈尔·瓦卢基维奇:
综合：词汇和痕迹。 18-21

常规论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/AlmagorHK10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/AlmagorHK10
沙乌尔·阿尔马戈,约拉姆·赫什菲尔德,奥尔娜·库普夫曼:
及时欧米茄-常规自动机。 22-36
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/AsarinDMT10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/AsarinDMT10网站
尤金细辛,陶当（Thao Dang）,奥德·马勒,罗曼·泰斯特利耶:
使用冗余约束进行优化。 37-51
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/BensalemBGPQ10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/BensalemBGPQ10
萨德克·本萨勒姆,马吕斯·博兹加,苏珊·格拉芙,多龙·A·贝利德,关东:
分布式系统基于知识的控制方法。 52-66
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/BogomolovMP10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/BogomolovMP10
塞尔吉·博戈莫洛夫,科里娜·米特罗欣,安德烈亚斯·波德尔斯基:
混合系统安全性和稳定性的组合可达性分析。 67-81
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/卡塞兹10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/Cassez10
弗兰克·卡塞兹:
离散事件和时间系统可协诊断性的复杂性。 82-96
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/DangTG10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/DangTG10
丹公爵,Anh-Hoang Truong公司,马丁·戈戈拉:
关于场景同步。 97-111
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/FiliotJR10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/FiliotJR10
艾曼纽尔·菲利奥特,金乃勇,Jean-François Raskin女士:
LTL合成的合成算法。 112-127
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/Furia10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/Furia10
卡洛·福里亚:
序列的决定因素是什么？ 128-142
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/GallaschB10公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/GallaschB10
盖伊·爱德华·加拉斯,乔纳森·比林顿:
封闭分叉连接网络中稳态概率收敛性的研究。 143-157
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/GeeraertsKGMR10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/GeeraertsKGMR10
吉勒斯·杰拉尔茨,加布里埃尔·卡利恩,特里斯坦·勒加尔,尼古拉斯·梅奎特,Jean-François Raskin女士:
格值二元决策图。 158-172
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/GherghinaD10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/GherghinaD10网址
克里斯蒂安·吉尔吉纳,克里斯蒂娜·大卫:
异常及其以外的规范逻辑。 173-187
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/GuptaPR10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/GuptaPR10
阿舒托什·古普塔,科内利厄·波皮亚,安德烈·里巴尔琴科:
并发程序控制抽象的非单调精化。 188-202
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/Gupta10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/Gupta10
阿图尔·古普塔:
从类契约进行类测试的方法。 203-217
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/HerbreteauS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/HerbreteauS10
Frédéric Herbreteau餐厅,B.斯里瓦特桑:
定时Büchi自动机的高效实时空置检查。 218-232
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/Lisitsa10文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/Listsa10
阿列克谢·利西萨:
可达性作为可导性、有限对抗模型和验证。 233-244
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/LodayaS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/LodayaS10
卡马尔·洛达亚,A.V.Sreejith公司:
LTL可以更加简洁。 245-258
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/TakataS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/TakataS10
高田吉崎,Hiroyuki Seki先生:
根据信息流规范自动生成基于历史的访问控制。 259-275
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/LongZ10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/LongZ10
腾龙,张文辉:
证明同情离散系统活性的辅助构造。 276-290
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/TraonouezGJLR10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/TraonouezGJLR10
路易斯·马里·特劳努埃兹,巴托斯·格拉比奇,克劳德·贾德,迪迪埃·莱姆,奥利维尔·H·鲁:
参数秒表Petri网的符号展开。 291-305
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/TrivediW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/TrivediW10
阿什图什·特里维迪,多米尼克·沃伊特扎克:
递归时间自动机。 306-324
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/XuGG10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/XuGG10
达纳·N·徐,格雷戈·格勒,阿兰·吉罗:
基于组件设计的概率契约。 325-340

工具文件

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/AlpuenteBER10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/AlpuenteBER10
玛丽亚·阿尔普奈特,黛米斯·巴利斯,哈维尔·埃斯佩特,丹尼·罗梅罗:
使用Web-TLR对Web应用程序进行模型检查。 341-346
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/ChengBLK10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/ChengBLK10
Chih-Hong Cheng先生,克里斯蒂安·巴克尔,迈克尔·卢滕伯格,阿洛伊斯·克诺尔:
GAVS：游戏竞技场可视化和合成。 347-352
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/ElwakilYW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/ElwakilYW10
穆罕默德·埃尔瓦基尔,杨子江,王立强:
CRI:MCAPI应用程序的符号调试器。 353-358
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/KatzP10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/KatzP10
加尔·卡茨,多龙·A·贝利德:
MCGP：一种基于模型检查和遗传编程的软件综合工具。 359-364
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/DavidLLNW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/DavidLLNW10
亚历山大·戴维,金·古德斯特兰·拉森,Axel Legay公司,乌里克·尼曼,安德烈·瓦索夫斯基:
ECDAR：实时系统的组成设计和分析环境。 365-370
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/LiuSD10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/LiuSD10
杨柳,孙军（Jun Sun）,金松洞:
使用PAT开发模型跳棋。 371-377
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/NdukwuM10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/NdukwuM10
Ukachukwu Ndukwu公司,A.K.McIver公司:
YAGA：概率B中定量安全规范的自动分析。 378-386
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/NguyenQNB10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/NguyenQNB10
安·N·阮,Tho T.Quan先生,Phung H.Nguyen先生,Thang H.Bui先生:
COMBINE：用于绑定验证的组合形式方法工具。 387-395
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/SoleC10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/SoleC10
马克·索莱,约塞普·卡莫纳:
Rbminer：一个从转换系统中发现Petri网的工具。 396-402

管理网站设置

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