默认搜索操作

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

问别人

2011年第11届FMCAD：美国德克萨斯州奥斯汀

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
- 出口记录
  dblp键：
  - conf/fmcad/2011
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/2011
根据Bjesse,安娜·斯洛博多娃:
2011年10月30日至11月2日，美国德克萨斯州奥斯汀，第11届FMCAD计算机辅助设计形式方法国际会议。 FMCAD公司。 2011，国际标准图书编号978-0-9835678-1-3
- 看法
- 出口记录
  dblp键：
  - conf/fmcad/Gupta11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Gupta11
阿尔蒂·古普塔:
验证并发程序：辅导讲座. 1
- 看法
- 出口记录
  dblp键：
  - conf/fmcad/萨瑟兰11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Sutherland11
伊凡·萨瑟兰:
自我计时：超越同步性的一步（辅导讲座）. 2
- 看法
- 出口记录
  dblp键：
  - conf/fmcad/SomenziB11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/SomenziB11网站
法比奥·萨蒙齐,亚伦·R·布拉德利:
IC3：单片式和增量式相结合。 3-8
- 看法
- 出口记录
  dblp键：
  - conf/fmcad/AggarwalCKS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/AggarwalCKS11
Prashant Aggarwal公司,达罗·楚,维杰·卡达姆比,维吉安·辛哈尔:
使用基于仿真的覆盖范围规划端到端正式服务：邀请的教程. 9-16
- 看法
- 出口记录
  dblp键：
  - conf/fmcad/休斯11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Hughes11
约翰·休斯:
使用QuickCheck进行基于规范的测试：辅导讲座. 17
- 看法
- 出口记录
  dblp键：
  - conf/fmcad/Moore11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Moore11
J斯特罗瑟·摩尔:
人类创造力在机械化验证中的作用：受邀演讲. 18
- 看法
- 出口记录
  dblp键：
  - conf/fmcad/McMillan11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/McMillan11
肯尼思·麦克米兰:
Z3证明的插值。 19-27
- 看法
- 出口记录
  dblp键：
  - conf/fmcad/Griggio11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Griggio11
阿尔贝托·格里乔:
用于软件验证的有效单词级插值。 28-36
- 看法
- 出口记录
  dblp键：
  - conf/fmcad/BelovM11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/BelovM11
安东·贝洛夫,乔安·马奎斯·西尔瓦:
使用递归模型旋转加速MUS提取。 37-40
- 看法
- 出口记录
  dblp键：
  - conf/fmcad/Manolios第11页
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/ManoliosP11
Manolios帕纳焦蒂斯,Papavasileiou血管杆菌:
通过增量转换到SAT的伪布尔解。 41-45
- 看法
- 出口记录
  dblp键：
  - conf/fmcad/ChamarthiM11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/ChamarthiM11网站
哈什·拉朱·查马西,Manolios帕纳焦蒂斯:
使用交互式定理证明器进行自动化规范分析。 46-53
- 看法
- 出口记录
  dblp键：
  - conf/fmcad/CimattiMT11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/CimattiMT11
亚历山德罗·西马蒂,塞尔吉奥·莫弗,斯特凡诺·托内塔:
证明并解释混合系统消息序列图的不可行性。 54-62
- 看法
- 出口记录
  dblp键：
  - conf/fmcad/ZhuWM11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/ZhuWM11
朱树成（Charlie Shucheng Zhu）,乔治·魏森巴赫,莎拉·马利克:
使用最大可满足性和主干进行硅后断层定位。 63-66
- 看法
- 出口记录
  dblp键：
  - conf/fmcad/基础ARC11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/BasithARC11网站
穆罕默德·阿卜杜勒·巴西思,塔里克·艾哈迈德,安德烈·罗西,马西耶·西塞尔斯基（Maciej J.Ciesielski）:
算术设计验证的代数方法。 67-71
- 看法
- 出口记录
  dblp键：
  - conf/fmcad/ChakiGS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/ChakiGS11
萨加尔·查基,阿里·古芬克尔,奥弗·斯特里赫曼:
实时系统的时限分析。 72-80
- 看法
- 出口记录
  dblp键：
  - conf/fmcad/KotkerSS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/KotkerSS11
乔纳森·科特,多尔萨·萨迪格,桑吉特·塞希亚:
上下文边界下中断驱动程序的时序分析。 81-90
- 看法
- 出口记录
  dblp键：
  - conf/fmcad/KonighoferB11型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/KonighoferB11网址
罗伯特·柯尼霍费尔,罗德里克·布隆:
命令程序的自动错误定位和更正。 91-100
- 看法
- 出口记录
  dblp键：
  - conf/fmcad/案例BMK11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/CaseBMK11网址
迈克尔·凯斯,杰森·鲍姆加特纳,哈里·莫尼,罗伯特·坎泽尔曼:
无需定点计算的最佳冗余消除。 101-108
- 看法
- 出口记录
  dblp键：
  - conf/fmcad/案例BMK11a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/CaseBMK11a
迈克尔·凯斯,杰森·鲍姆加特纳,哈里·莫尼,罗伯特·坎泽尔曼:
结合符号和三值模拟的近似可达性。 109-115
- 看法
- 出口记录
  dblp键：
  - conf/fmcad/BradyBS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/BradyBS11
布莱恩·布莱迪,兰达尔·布莱恩特,桑吉特·塞希亚:
学习条件抽象。 116-124
- 看法
- 出口记录
  dblp键：
  - conf/fmcad/EenMB11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/EenMB11
尼古拉斯·埃恩,阿兰·米什琴科,罗伯特·K·布雷顿:
高效实现面向属性的可达性。 125-134
- 看法
- 出口记录
  dblp键：
  - conf/fmcad/节流阀IMMN11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/ChocklerIMMN11
哈娜·乔克勒,亚历山大·伊夫里,Arie Matsliah公司,西里·莫兰,齐夫·尼沃:
硬件的增量形式验证。 135-143
- 看法
- 出口记录
  dblp键：
  - conf/fmcad/BradleySHZ11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/BradleySHZ11
亚伦·R·布拉德利,法比奥·萨蒙齐,兹亚德·哈桑,张燕（音译）:
模型检查进度属性的增量方法。 144-153
- 看法
- 出口记录
  dblp键：
  - conf/fmcad/Talupur11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Talupur11
塔卢普尔壁画:
硬件模型检查：状态、挑战和机会。 154
- 看法
- 出口记录
  dblp键：
  - conf/fmcad/HavlicekL11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/HavlicekL11
约翰·哈夫利切克,斯科特·利特尔:
模拟断言和混合断言的实时正则表达式。 155-162
- 看法
- 出口记录
  dblp键：
  - conf/fmcad/SiddiqueH11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/SiddiqueH11网站
乌迈尔·西迪克,奥斯曼·哈桑:
HOL中分数阶系统的形式化分析。 163-170
- 看法
- 出口记录
  dblp键：
  - conf/fmcad/MandelPP11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/MandelPP11
路易斯·曼德尔,佛罗伦萨高原,马克·普泽特:
基于Lucy-n的延迟不敏感设计的静态调度。 171-175
- 看法
- 出口记录
  dblp键：
  - conf/fmcad/德国11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/德国11
Steven M.德语:
数组抽象理论。 176-185
- 看法
- 出口记录
  dblp键：
  - conf/fmcad/BinghamGB11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/宾汉姆GB11
布拉德·宾厄姆,马克·格林斯特雷特,杰西·宾厄姆:
对称缓存一致性协议中死锁自由度的参数化验证。 186-195
- 看法
- 出口记录
  dblp键：
  - conf/fmcad/KumarLV11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/KumarLV11
贾亚南·阿索克·库马尔,刘玲怡,肖巴·瓦苏德万:
使用设计源代码中的抽象扩展硬件的概率定时验证。 196-205
- 看法
- 出口记录
  dblp键：
  - conf/fmcad/Pike11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Pike11
李派克:
控制系统设计中普遍存在的形式验证。 206
- 看法
- 出口记录
  dblp键：
  - conf/fmcad/SawadaSPBCM11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/SawadaSPBCM11
Jun Sawada先生,彼得·桑德,维雷什·帕鲁西,杰森·鲍姆加特纳,迈克尔·凯斯,哈里·莫尼:
硬件模块化简化引擎的混合验证。 207-214
- 看法
- 出口记录
  dblp键：
  - conf/fmcad/SrinivasanK11文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/SrinivasanK11
苏达珊·斯里尼瓦桑,拉杰·卡蒂:
去同步：设计用于验证。 215-222
- 看法
- 出口记录
  dblp键：
  - conf/fmcad/VerbeekS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/VerbeekS11
弗里克·韦贝克,朱利安·施马耳茨:
在通信结构的微体系结构模型中有效地搜索死锁。 223-231

管理网站设置

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