默认搜索操作

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

问别人

欧洲软件科学与技术协会电子通信，第79卷

>主页 >期刊销售 >欧洲软件科学与技术协会电子通信

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年第79卷

前言

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ecesst/BasagiannisMB20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/eceasst/BasagiannisMB20
Stylianos Basagiannis公司,阿尼拉·姆杰达,Götz Botterweck公司:
第二次验证和测试工业应用互动研讨会，ETAPS 2020研讨会（InterAVT 2020）。

文章

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/eceasst/VaranoDB20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/eceasst/VaranoDB20
达里奥·瓦拉诺,吉安卢卡·迪尼,玛丽亚诺·巴兹尔:
CYBERWISER.eu：工业系统网络安全培训的创新网络范围平台。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ecasst/AndrianovM20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/eceasst/AndrianovM20
帕维尔·谢尔盖维奇-安德里亚诺夫,瓦迪姆·谢尔盖维奇（Vadim Sergeevich Mutilin）:
使用CPALockator的Linux内核中的数据竞争检测。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/eceasst/BernardeschiDFP20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/eceasst/BernardeschiDFP20
辛齐娅·伯纳德斯基,安德烈亚·多梅尼奇,阿德里亚诺·法吉奥里尼,毛里齐奥·帕尔米耶里:
基于模型开发中的块模型和定理证明。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/eceasst/GiantamidisPMSV20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/eceasst/GiantamidisPMSV20
乔治·吉安塔米迪斯,乔治奥斯·帕帕尼科劳,马塞洛·米兰达,冈萨洛·萨利纳斯·赫南多,胡安·瓦尔弗德·阿尔卡拉,苏雷什·维卢鲁,Stylianos Basagiannis公司:
重新形成：快速需求形式化的工具。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/eceasst/SchieweckM20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/eceasst/SchieweckM20
亚历山大·希维克,蒂齐亚娜·玛格丽亚:
使用行为挖掘测试互连系统。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ecesst/SilvaF20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/eceasst/SilvaF20
蒂亚戈·罗查·席尔瓦,布赖恩·菲茨杰拉德:
解析BDD故事以自动验证软件工件。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/eceasst/MercaldoMS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/eceasst/MercaldoMS20
弗朗西斯科·梅尔卡多,法比奥·马丁内利,安东内拉·桑通:
用于移动勒索软件检测的定时自动机。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/eceasst/MjedaB20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/eceasst/MjedaB20
安妮拉·姆杰达,戈茨·博特威克:
不确定性纠缠；自治系统安全保证案例建模。

管理网站设置

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