默认搜索操作

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

问别人

卡蒂亚·迪·布拉西奥

>主页 >珀森斯

人员信息

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2024
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/vlc/IhirweRBGP24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/vlc/IhirweRBGP24
费利西恩·伊赫韦,大卫·迪·鲁西奥,卡蒂亚·迪·布拉西奥,西蒙·詹弗兰切斯基,阿方索·皮兰托尼奥:
支持安全关键物联网系统的基于模型的安全分析。 J.计算。语言。 78:101243(2024)
2023
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dsn/BauerHHBS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dsn/BauerHHBS23
托马斯·鲍尔,沃尔夫冈·赫兹纳,鲍勃·赫鲁斯卡,卡蒂亚·迪·布拉西奥,扎恩·沙瓦尔:
建模验证与确认工作流以改进软件密集型系统的开发过程。 DSN-W型 2023:239-242
2022
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/edcc/AgireYBVSYBENK22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/edcc/AgrreYBVSYBENK22
Joseba Andoni阿吉雷,艾哈迈特·亚齐奇,卡蒂亚·迪·布拉西奥,何塞·路易斯·德拉瓦拉,贝罗斯·桑切利（Behrooz Sangchoolie）,乌古尔·亚扬,劳尔·巴博萨,Leire Etxeberria公司,马西莫·纳扎里亚,穆斯塔法·卡拉卡:
自动化系统验证和确认特征的多维框架。 EDCC公司 2022:41-48

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记帐/ral/FaniB0CGB19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ral/FaniB0CGB19
西蒙·法尼,卡蒂亚·迪·布拉西奥,马泰奥·比安奇,曼纽尔·加泰拉诺,乔治·格里奥利,安东尼奥·比奇:
将触觉反馈的高频内容传递给机器人假体用户：设计、过滤、实施和验证。 IEEE机器人自动化。莱特。 4(2):926-933(2019)

合著者索引

请参阅常见问题解答

管理网站设置

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