停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2014年第20届TACAS：法国格勒诺布尔（ETAPS 2014的一部分）

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/2014
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/2014
埃里卡·阿布拉哈姆,克劳斯·哈维隆德:
系统构建和分析的工具和算法——第20届国际会议，TACAS 2014，作为欧洲软件理论和实践联合会议的一部分，ETAPS 2014，法国格勒诺布尔，2014年4月5日至13日。诉讼程序。计算机科学课堂讲稿8413,施普林格 2014，国际标准图书编号978-3-642-54861-1

受邀贡献

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Kupferman公司14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Kupferman14
奥尔娜·库普夫曼:
安全变更。 1-14

决策程序及其在分析中的应用

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AbertiGS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AbertiGS14
弗朗西斯科·阿尔贝蒂,西尔维奥·吉拉尔迪,娜塔莎·莎莉吉娜:
平面阵列属性的决策程序。 15-30
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ArmandoCC14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ArmandoCC14
亚历山德罗·阿曼多,罗伯托·卡蓬,卢卡·孔帕尼亚:
SATMC：用于安全关键系统的基于SAT的模型检查器。 31-45
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/CimattiGMT14公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/CimattiGMT14网站
亚历山德罗·西马蒂,阿尔贝托·格里乔,塞尔吉奥·莫弗,斯特凡诺·托内塔:
通过隐式谓词抽象的IC3模理论。 46-61
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/EldibWS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/EldibWS14
哈桑·埃尔迪布,王超（Chao Wang）,帕特里克·夏蒙特:
基于SMT的软件对抗侧通道攻击验证。 62-77
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/FinkbeinerT14文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/FinkbeinerT14
伯恩德·芬克贝纳,Leander Tentrup公司:
检测分布式系统的不可实现规范。 78-92
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Gurfinkel公司BM14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/GurfinkelBM14
阿里·古芬克尔,安东·贝洛夫,乔安·马奎斯·西尔瓦:
合成安全的位精度不变量。 93-108
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/小屋K14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HuthK14网址
伦敦帝国学院,Jim Huan-Pu Kuo先生:
PEALT：用于信任证据数字聚合的自动推理工具。 109-123
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/PiskacWZ14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/PiskacWZ14
鲁齐卡·皮斯卡,托马斯·维斯,达米安·祖弗里:
草蜢-使用混合规范完成堆验证。 124-139

复杂性和终止性分析

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BrockschmidtEFFG14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BrockschmidtEFFG14网站
马克·布罗克施密特,费边·艾姆斯,斯蒂芬·福克,卡斯滕·福斯,吉尔根·吉斯尔:
整数程序的交替运行时间和大小复杂性分析。 140-155
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ChenCFNO14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ChenCFNO14
陈洪毅,拜伦·库克,卡斯滕·福斯,Kaustubh Nimkar公司,彼得·W·奥赫恩:
通过安全证明不终止。 156-171
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/LeikeH14型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/LeikeH14网址
简·雷克,马蒂亚斯·海兹曼:
线性循环的排名模板。 172-186

离散系统建模与模型检验

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Gibson-RobinsonABR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Gibson-RobinsonABR14
托马斯·吉布森-罗宾逊,菲利普·阿姆斯特朗,亚历山大·布尔加科夫,A.W.罗斯科:
FDR3-CSP的现代优化检查器。 187-201
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Lowe14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Lowe14
加文·洛:
并发深度优先搜索算法。 202-216
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ReinekeT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ReinekeT14网址
简·雷内克,斯塔夫罗斯·特里帕基斯:
多视图建模中的基本问题。 217-232
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/WijsB14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/WijsB14网站
安东·威伊斯,德拉甘·博斯纳奇:
GPU探索：使用GPU进行多核飞行状态空间探索。 233-247

定时和混合系统

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AdzkiyaSA14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AdzkiyaSA14
迪基·阿兹基亚,巴特·德舒特,亚历山德罗·阿巴特:
自治Max-Plus-线性系统的前向可达性计算。 248-262
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AstefanoaeiRBBC14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AstefanoaeiRBBC14
阿斯特法诺艾湖,苏哈·本·拉亚纳,萨德克·本萨勒姆,马吕斯·博兹加,雅克·康巴兹:
时间系统的合成不变量生成。 263-278
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Ghorbal第14页
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/GhorbalP14
哈利勒·古尔巴尔,安德烈·普拉泽:
用微分根不变量刻画代数不变量。 279-294
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HerreraWP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HerreraWP14
克里斯蒂安·埃雷拉,伯恩德·韦斯特法尔,安德烈亚斯·波德尔斯基:
准等时钟减少：更多网络，更多查询。 295-309
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Wang0LWL14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Wang0LWL14
王婷（Ting Wang）,孙军（Jun Sun）,杨柳,王新余,李善平:
时间自动机对规范语言有害吗？定时自动机的语言包含检查。 310-325

监测、故障检测和识别

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Bozzano公司CGT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BozzanoCGT14
马可·波扎诺,亚历山德罗·西马蒂,马可·加里奥,斯特凡诺·托内塔:
使用时间认知逻辑的故障检测和识别组件的形式化设计。 326-340
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/DeckerLT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DeckerLT14
诺曼·戴克,马丁·勒克,丹尼尔·托马:
监测模数理论。 341-356
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ReinbacherRS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ReinbacherRS14
托马斯·赖因巴赫,克里斯汀·伊冯·罗泽尔,约翰·舒曼:
实时系统系统健康管理的基于时间逻辑的运行时观测器对。 357-372

软件验证竞赛

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Beyer14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Beyer14
德克·拜尔:
软件验证状态报告（SV-COMP 2014年竞争概要）。 373-388
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/KroeningT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/KroeningT14
丹尼尔·克罗宁,迈克尔·陶奇尼格:
CBMC-C边界模型检查器-（竞争贡献）。 389-391
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/LoweMW14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/LoweMW14
斯特凡·洛韦,米哈伊尔·曼德利金,菲利普·温德勒:
显式价值分析和谓词分析顺序组合的CPAchecker-（竞争贡献）。 392-394
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/MullerV14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/MullerV14
彼得·米勒,托马斯·沃伊纳:
CPAlien:CPAChecker的形状分析器-（竞争贡献）。 395-397
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/InversoT0TP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/InversoT0TP14
奥马尔·因弗索,埃梅内吉尔多·托马斯科,伯恩德·菲舍尔,萨尔瓦托雷·拉托雷,Gennaro Parlato公司:
Lazy-CSeq：用于C-（竞争贡献）的Lazy-Sequentialization工具。 398-401
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/TomascoI0TP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/TomascoI0TP14
埃梅内吉尔多·托马斯科,奥马尔·因弗索,伯恩德·菲舍尔,萨尔瓦托雷·拉托雷,Gennaro Parlato公司:
MU-CSeq：通过共享内存解卷实现C程序的序列化（竞争贡献）。 402-404
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/MorseRCN014
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/MorseRCN014
杰里米·莫尔斯,米哈伊尔·拉马略,卢卡斯·科尔德罗,丹尼斯·尼科尔,伯恩德·菲舍尔:
ESBMC 1.22-（竞争贡献）。 405-407
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Gurfinkel公司B14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/GurfinkelB14网址
阿里·古芬克尔,安东·贝洛夫:
FrankenBit:多比特位精确验证-（竞争贡献）。 408-411
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/DudkaPV14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DudkaPV14
卡米尔·杜德卡,彼得·佩林格,托马斯·沃伊纳:
捕食者：基于符号记忆图（竞争贡献）的形状分析器。 412-414
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Slaby公司S14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/SlabyS14
吉里·斯拉比,简·斯特雷切克:
共生2：更精确的切片-（竞争贡献）。 415-417
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HeizmannCDHLMSWP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HeizmannCDHLMSWP14
马蒂亚斯·海兹曼,尤根基督,丹尼尔·迪奇,Jochen Hoenicke公司,马库斯·林登曼,贝蒂姆·穆萨,克里斯蒂安·席林,斯特凡·维瑟特,安德烈亚斯·波德尔斯基:
具有不可满足内核的终极Automizer-（竞争贡献）。 418-420
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ErmisNDHP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ErmisNDHP14
埃夫伦·埃尔米斯,亚历山大·纳茨,丹尼尔·迪奇,Jochen Hoenicke公司,安德烈亚斯·波德尔斯基:
终极Kojak-（竞争贡献）。 421-423

指定和检查线性时间属性

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AlmagorBK14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AlmagorBK14
沙乌尔·阿尔马戈,乌迪·博克,奥尔娜·库普夫曼:
LTL折扣。 424-439
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/SalemDKT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/SalemDKT14网址
阿拉·埃丁·本·塞勒姆,亚历山大·杜雷特·卢茨,Fabrice Kordon公司,Yann Thierry-Mieg公司:
使用广义测试自动机对断续变特性进行符号模型检验。 440-454

综合与学习

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/黄M14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HuangM14网址
黄晓伟,罗恩·范德梅登:
观察语义认知规范的符号合成。 455-469
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/LiSSS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/LiSSS14
李文超,多尔萨·萨迪格,S.Shankar Sastry公司,桑吉特·塞希亚:
人在回路控制系统的合成。 470-484
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/MalerM14型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/MalerM14网址
奥德·马勒,Irini-Eleftheria男性:
通过大字母学习常规语言。 485-499

量子与概率系统

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Ardeshir-LarijaniGN14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Ardeshir-LarijaniGN14
易卜拉欣·阿尔德斯希尔·拉里贾尼,西蒙·盖伊,拉贾戈帕尔·纳加拉詹:
通过等价性检查验证并发量子协议。 500-514
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BaierKKM14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BaierKKM14
克里斯特尔·拜尔,约阿希姆·克莱因,萨沙·克吕佩尔霍尔茨,斯特芬·梅克尔:
有效计算马尔可夫模型中的条件概率。 515-530
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/DragerFKPU14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DragerFKPU14
克劳斯博士,Vojtech外汇,Marta Z.Kwiatkowska公司,大卫·帕克,马特乌斯·乌杰马:
概率系统的许可控制器综合。 531-546
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/SoudjaniA14公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/SoudjaniA14网址
Sadegh Esmaeil Zadeh Soudjani先生,亚历山德罗·阿巴特:
马尔可夫过程概率分布的精确逼近：概率不变性的应用。 547-561

工具演示

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AbertAFGGMPR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AbertAFGGMPR14
埃尔维拉·阿尔伯特,普里竞技场,安东尼奥·弗洛雷斯-蒙托亚,萨米尔·吉纳伊姆,米盖尔·戈梅斯·扎马洛亚,恩里克·马丁·马汀,德国普埃布拉,吉列尔莫·罗曼·迪兹:
SACO：并发对象的静态分析器。 562-567
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Angelis第14页
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AngelisFPP14
伊曼纽尔·德·安吉利斯,法比奥·菲奥拉万蒂,阿尔贝托·佩托罗西,毛里齐奥·普罗埃蒂:
VeriMAP：通过转换验证程序的工具。 568-574
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BeekFHHMMR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BeekFHHMMR14
D.A.van Beek先生,万·J·福克金,丹尼斯·亨德里克斯,阿尔伯特·T·霍夫坎普,贾森·马尔科夫斯基,乔安娜·范·德·莫特尔·弗伦扎克,米歇尔·雷尼尔斯:
CIF 3：基于模型的监控工程。 575-580
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/CaballeroMRT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/CaballeroMRT14网站
拉斐尔·卡巴列罗,恩里克·马丁·马汀,阿德里安·里斯科,萨尔瓦多·塔马利特:
EDD：顺序Erlang程序的声明式调试器。 581-586
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Cheval14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Cheval14
文森特·雪娃:
APTE：证明轨迹等价性的算法。 587-592
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HartmannsH14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HartmannsH14网址
阿恩·哈特曼斯,霍尔格·赫尔曼斯:
适度工具集：定量建模和验证的集成环境。 593-598
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Sirtola14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Sirtola14
安蒂·西尔托拉:
边界2：用于合成多参数验证的工具。 599-604

案例研究

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BoenderC14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BoenderC14
贾普·博恩德,克劳迪奥·萨塞尔多蒂·科恩:
关于分支置换算法的正确性。 605-619
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/EssenG14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/EssenG14
克里斯蒂安·冯·埃森,迪米特拉·吉安娜科波卢:
分析下一代机载防撞系统。 620-635
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/JahierDML14公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/JahierDML14网址
埃尔万·贾希尔,简约Djoko Djoko,朝基麦扎,埃里克·拉丰:
基于环境模型的控制系统测试：案例研究。 636-650

服务

管理网站设置

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