×
编辑配置文件（在新选项卡中打开）

克里斯蒂安·马塔雷

合著者距离
作者ID： 马塔雷·克里斯蒂安“Mattarei，Cristian”最近发表的zbMATH文章
发布日期： 克里斯蒂安·马塔雷
已编制索引的文档： 3出版物自2014年起
合著者： 4位合著者具有3联合出版物
99位合作作者

合著者

0 单作者的
三 马可·波扎诺
三 亚历山德罗·西马蒂
1 马可·加里奥
1 斯特凡诺·托内塔

系列

2 计算的形式方面

领域

三 计算机科学（68至XX）
1 系统论；控制（93至XX）

按年份列出的出版物

zbMATH Open中包含的引文

三出版物有被引用3中的次2文件 引用人▼ 年份▼
冗余架构的正式可靠性分析。 Zbl 1425.68039号
马可·波扎诺；亚历山德罗·西马蒂；克里斯蒂安·马塔雷
1
2019
通过基于合同的设计进行正式安全评估。 Zbl 1448.68174号
马可·波扎诺；亚历山德罗·西马蒂；克里斯蒂安·马塔雷；斯特凡诺·托内塔
1
2014
使用xSAP对三模块发电机进行基于模型的安全评估。 Zbl 1511.68149号
马可·波扎诺；亚历山德罗·西马蒂；马可·加里奥；大卫·琼斯；克里斯蒂安·马塔雷
1
2021
使用xSAP对三模块发电机进行基于模型的安全评估。 Zbl 1511.68149号
马可·波扎诺；亚历山德罗·西马蒂；马可·加里奥；大卫·琼斯；克里斯蒂安·马塔雷
1
2021
冗余架构的正式可靠性分析。 Zbl 1425.68039号
马可·波扎诺；亚历山德罗·西马蒂；克里斯蒂安·马塔雷
1
2019
通过基于合同的设计进行正式安全评估。 Zbl 1448.68174号
马可·波扎诺；亚历山德罗·西马蒂；克里斯蒂安·马塔雷；斯特凡诺·托内塔
1
2014
全部的 前5名

8位作者引用

2 亚历山德罗·西马蒂
1 马可·波扎诺
1 马可·加里奥
1 阿尔贝托·格里乔
1 克里斯蒂安·马塔雷
1 塞尔吉奥·莫弗
1 马可·罗维里
1 斯特凡诺·托内塔

2篇连载文章中引用

1 计算的形式方面
1 系统设计中的形式化方法

在2个字段中引用

2 计算机科学（68至XX）
1 系统论；控制（93至XX）

按年份列出的引文