停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第二ETAPS坝顶2017年：瑞典乌普萨拉

>主页 >会议和研讨会 >预计到达时间

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1710-02770
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1710-02770
亚历克斯·格罗斯,斯特凡·洛伊:
嵌入式和安全关键系统技术因果推理第二届国际研讨会论文集，ETAPS坝顶2017年4月29日，瑞典乌普萨拉。 EPTCS系统259,2017
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1710-03390
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1710-03390
Sjur K.Dyrkolbotn先生:
论因果关系形式理论中的先发制人和过度决定。 1-15
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/cor/abs-1710-05720
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1710-05720
西蒙·雷瓦尔德,阿姆贾德·易卜拉欣,克里斯蒂安·贝克斯,亚历山大·普雷施纳:
ACCBench：一个比较因果算法的框架。 16-30
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1710-03391
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1710-03391
伯恩德·芬克贝纳,安德烈·库普利亚诺夫:
基于因果关系的模型检查。 31-38
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1710-03392
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1710-03392
马可·波扎诺:
故障管理系统设计中的因果关系和时间依赖性。 39-46
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1710-03393
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1710-03393
格雷戈·格勒,奥列格·索科尔斯基,珍妮·伯纳德·斯特凡尼:
第一原则的反事实因果关系？ 47-53
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1710-03394
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1710-03394
克里斯·梁朝伟（Chris Leong）,蒂姆·凯利,罗伯特·亚历山大:
将认识不确定性纳入社会技术系统的安全保障。 56至71

服务

管理网站设置

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