默认搜索操作

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

问别人

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

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第49卷，编号1-2，2016年10月

2014年运行时验证专刊

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/BefroueiWW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/BefroueiWW16
Mitra Tabaei Befrouei公司,王超（Chao Wang）,乔治·魏森巴赫:
抽象和挖掘跟踪以解释并发错误。 1-32
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/MitschP16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/MitschP16
斯特凡·米奇,安德烈·普拉泽:
ModelPlex：验证的网络物理系统模型的验证运行时验证。 33-74
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/fmsd/BasinCEHKM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/BasinCEHKM16
David A.盆地,Germano Caronni公司,莎拉·埃雷思,马图斯·哈文,费利克斯·克莱特克,海科·曼特尔:
临时规范的可扩展离线监控。 75-108
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/ColomboF16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/ColomboF16
克里斯蒂安·科伦坡,法尔科内:
使用全球时钟在分布式系统上组织LTL监控器。 109-158

2016年12月第49卷第3期

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/GhassemiF16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/GhassemiF16
法特梅·加塞米,万·J·福克金:
模型检查移动自组织网络。 159-189
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/CimattiGMT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/CimattiGMT16
亚历山德罗·西马蒂,阿尔贝托·格里乔,塞尔吉奥·莫弗,斯特凡诺·托内塔:
使用IC3和谓词抽象进行无限状态不变量检查。 190-218
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/EsparzaKS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/EsparzaKS16
哈维尔·埃斯帕尔扎,扬·克伦斯克,所罗门·西克特:
从LTL到确定性自动机——一种无安全性的组合方法。 219-271
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/JohnC16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/JohnC16
Ajith K.约翰,Supratik Chakraborty公司:
从线性模块约束中消除量词的分层算法。 272-323

管理网站设置

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