默认搜索操作

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

问别人

系统设计中的形式方法，第42卷

>主页 >期刊销售 >系统设计中的形式化方法

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2013年2月第42卷第1期

可满足模理论专题

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/fmsd/StrichmanK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/StrichmanK13
奥弗·斯特里赫曼,丹尼尔·克罗宁:
专题“SI：可满足性模理论”前言。 1-2
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/WintersteigerHM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/WentersteigerHM13
克里斯托弗·温特斯泰格,优素福·哈马迪,莱昂纳多·门东萨·德莫拉:
有效求解量化位向量公式。 3-23
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/Ranise13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/Ranise13
西尔维奥·兰伊斯:
具有有效命题逻辑的符号后向可达性-应用于安全策略分析。 24-45
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/CimattiMT13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/CimattiMT13
亚历山德罗·西马蒂,塞尔吉奥·莫弗,斯特凡诺·托内塔:
混合系统基于SMT的场景验证。 46-66
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/JovanovicB13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/JovanovicB13网址
德扬·约万诺维奇,克拉克·W·巴雷特:
注意理论结合。 67-90
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/fmsd/StumpORHT13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/StumpORHT13
亚伦·斯图普,Duckki Oe公司,安德鲁·雷诺兹,莉安娜·哈达伦,塞萨尔·蒂内利:
使用逻辑框架进行SMT验证。 91-118

第42卷第2期，2013年4月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/AndreFS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/AndreFS13
埃蒂安·安德烈,劳伦特·弗里堡,杰里米·斯普洛斯顿:
将逆方法推广到概率时间自动机。 119-145
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/ChatterjeeAFMR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/ChatterjeeAFMR13
克里希南德·查特吉,卢卡·德·阿尔法罗,马可·费拉,鲁帕克·马朱姆达尔,维什瓦纳斯·拉曼:
代码感知资源管理。 146-174
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/平石K13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/HiraishiK13网址
Kunihiko Hiraishi先生,小林光一:
一种用于过渡系统在真实状态空间上的盒抽象的近似算法。 175-192
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/BuerFJLLT13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/BauerFJLLT13
塞巴斯蒂安·鲍尔,乌里·法伦伯格,Juhl线,金·拉森,Axel Legay公司,克劳斯·苏兰:
加权模态转换系统。 193-220

第42卷第3期，2013年6月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/KroeningSTTW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/KroeningSTTW13
丹尼尔·克罗宁,娜塔莎·莎莉吉娜,斯特凡诺·托内塔,Aliaksei Tsitovich公司,克里斯托夫·温特斯泰格:
使用状态和转换不变量的循环摘要。 221-261
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/AkshayBG13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/AkshayBG13
S.阿克沙伊,Benedikt Bollig公司,保罗·加斯廷:
事件时钟消息传递自动机：逻辑特征和空性检查算法。 262-300
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/ChatterjeeHJS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/ChatterjeeHJS13
克里希南德·查特吉,莫妮卡·亨津格,玛纳斯·约格勒卡尔,尼萨格·沙阿:
具有Büchi目标的马尔可夫决策过程定性分析的符号算法。 301-327

管理网站设置

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