默认搜索操作

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

问别人

马西莫·纳扎里亚

>主页 >珀森斯

人员信息

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

书籍和论文

请参阅常见问题解答

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

2018
【b1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 博士/基础搜索/Nazaria18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/basesearch/Nazaria18
马西莫·纳扎里亚:
基于仿真的网络物理系统形式验证。意大利罗马萨皮恩扎大学，2018

期刊文章

请参阅常见问题解答

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

会议和研讨会文件

请参阅常见问题解答

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

2022
[c2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/edcc/AgireYBVSYBENK22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/edcc/AgrreYBVSYBENK22
Joseba Andoni阿吉雷,艾哈迈特·亚齐奇,卡蒂亚·迪·布拉西奥,何塞·路易斯·德拉瓦拉,贝罗斯·桑切利（Behrooz Sangchoolie）,乌古尔·亚扬,劳尔·巴博萨,Leire Etxeberria公司,马西莫·纳扎里亚,穆斯塔法·卡拉卡:
自动化系统验证和确认特征的多维框架。 EDCC公司 2022:41-48
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/庞巴迪BCCG22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/BombardelliBCCG22
阿尔贝托·邦巴德利,马可·波扎诺,罗伯托·卡瓦达,亚历山德罗·西马蒂,阿尔贝托·格里乔,马西莫·纳扎里亚,埃多亚多·尼科洛迪,斯特凡诺·托内塔:
COMPASTA：通过正式设计和验证功能扩展TAST。 IMBSA公司 2022:21-27

非正式出版物和其他出版物

请参阅常见问题解答

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

2021
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2104-05712
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2104-05712
马西莫·纳扎里亚:
用LSTM神经网络预测最早地震震级估计的准确性：初步分析。 CoRR公司 abs/2104.05712(2021)
2019
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1905-04780
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1905-04780
马西莫·纳扎里亚:
基于仿真的网络物理系统形式验证。 CoRR公司 abs/1905.04780(2019)

合著者索引

请参阅常见问题解答

管理网站设置

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