搜索dblp
全文搜索
> 主页
请输入搜索查询
作者搜索结果
场馆搜索结果
优化列表
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
出版物搜索结果
2007 比扬·阿利扎德 , 藤田正弘 :
系统级和RTL描述的顺序等价性检查的自动合并点检测。 ATVA公司 2007 : 129-144 约格·鲍尔 , 托比·托本 , 伯恩德·韦斯特法尔 :
注意形状:通过拓扑不变量进行抽象优化。 ATVA公司 2007 : 35-50 伯纳德·伯托米厄 , 弗洛伦特·佩雷斯 , 弗朗索瓦·沃纳达特 :
模型检查有界优先时间Petri网。 ATVA公司 2007 : 523-532 德拉甘·博斯纳奇 , 阿拉斯泰尔·唐纳森 , 迈克尔·勒谢尔 , 蒂埃里·马萨特 :
通过对称标记对Promela模型进行有效的近似验证。 ATVA公司 2007 : 300-315 Hichem Boudali公司 , Pepijn Crouzen公司 , 玛丽埃尔·斯托琳加 :
基于交互式马尔可夫链的动态故障树合成语义。 ATVA公司 2007 : 441-456 马可·波扎诺 , 亚历山德罗·西马蒂 , 弗朗西斯科·塔帕罗 :
无功系统的符号故障树分析。 ATVA公司 2007 : 162-176 弗兰克·卡塞兹 , 亚历山大·戴维 , 金·古德斯特兰·拉森 , 迪迪埃·莱姆 , Jean-François Raskin女士 :
基于观测和断续不变量策略的时间控制。 ATVA公司 2007 : 192-206 维尔纳·达姆 , Stefan Disch公司 , 哈迪·亨加 , 瑞典雅各布斯 , 彭军(Jun Pang) , 弗洛里安·皮戈什 , 克里斯托夫·斯科尔 , 乌韦·沃尔德曼 , 鲍里斯·维茨 :
大离散状态空间线性混合系统验证中的精确状态集表示。 ATVA公司 2007 : 425-440 穆罕默德·托拉比·达什蒂 , 安东·威伊斯 :
使用扩展波束搜索修剪状态空间。 ATVA公司 2007 : 543-552 克里斯蒂安·达克斯 , 约钦·艾辛格 , 费利克斯·克莱特克 :
限制类别的发电机组施工机械化 欧米茄 -自动化。 ATVA公司 2007 : 223-236 伊迪丝·埃尔金德 , Blaise基因 , 多龙·A·贝利德 , 保拉·斯波莱蒂尼 :
量化不一致:消息序列图中的顺序不一致。 ATVA公司 2007 : 378-393 托马斯·高利察 , 赫尔穆特·塞德尔 :
计算碰撞游戏的游戏值。 ATVA公司 2007 : 177-191 吉勒斯·杰拉尔茨 , Jean-François Raskin女士 , 劳伦特·范·贝京 :
Petri网最小覆盖集的有效计算。 ATVA公司 2007 : 98-113 奥尔娜·格伦伯格 , 阿萨夫·舒斯特 , 阿维·亚德加 :
STE的3值电路SAT,具有自动优化功能。 ATVA公司 2007 : 457-473 彼得·哈贝梅尔 , 拉杜·伊奥西夫 , 亚当·罗加列维奇 , 托马斯·沃伊纳 :
证明树操作程序的终止。 ATVA公司 2007 : 145-161 韩婷婷 , Joost-Pieter Katoen公司 :
提供可能准时的证据:CTMC模型检查的反例生成。 ATVA公司 2007 : 331-346 长谷川Atsushi Hasegawa :
行业最新趋势和DA研究展望。 ATVA公司 2007 : 15-16 耿殿煌 , 王朝霞(Bow-Yaw Wang) :
完成基于SAT的无上下文进程模型检查。 ATVA公司 2007 : 51-65 蒙祖·金 :
网络安全设备高可用性协议的形式化建模与验证。 ATVA公司 2007 : 489-500 奥尔娜·库普夫曼 , 尤亚德·卢斯蒂格 :
格模拟关系和游戏。 ATVA公司 2007 : 316-330 李国强 , 小川瑞之 :
公平不可否认性协议的动态模型检查。 ATVA公司 2007 : 511-522 斯科特·利特尔 , 大卫·瓦尔特 , 凯文·琼斯 , 克里斯·迈尔斯 :
使用模拟轨迹生成的模型进行模拟/混合信号电路验证。 ATVA公司 2007 : 114-128 肯尼思·麦克米兰 :
堆操作程序的属性驱动抽象。 ATVA公司 2007 : 17-18 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 , 伊斯梅尔·罗德里格斯 :
简介 THOTL公司 . ATVA公司 2007 : 501-510 苏米特·奈恩 , 莫舍·瓦尔迪 :
分支与线性时间:语义视角。 ATVA公司 2007 : 19-34 罗特姆·奥斯曼 , 奥尔娜·格伦伯格 :
分支时间逻辑有界模型检验的一种新方法。 ATVA公司 2007 : 410-424 戈登·佩斯 , 克里斯蒂安·普里萨卡里奥 , 杰拉尔多·施奈德 :
模型检查合同-案例研究。 ATVA公司 2007 : 82-97 苏菲·平奇纳特 :
具有策略表达约束的并发博弈的一般构造性解决方案。 ATVA公司 2007 : 253-267 兹沃尼米尔·拉卡马利奇 , 罗伯托·布鲁托梅索 , 艾伦·J·胡 , 亚历山德罗·西马蒂 :
验证SMT框架中的堆操作程序。 ATVA公司 2007 : 237-252 劳拉·雷卡德 , 谢尔盖·哈达德 , 曼努埃尔·席尔瓦·苏亚雷斯 :
连续Petri网:表达能力和可决定性问题。 ATVA公司 2007 : 362-377