埃曼纽尔·莱迪诺
人员信息
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2020年–今天
2021 [i1] 埃曼纽尔·莱迪诺 :
CPS工程:差距分析和观点。 CoRR公司 abs/2104.13210 ( 2021 )
2010 – 2019
2016 【c1】 Jean-Paul Blanquart公司 , 菲利普·鲍弗里顿 , Jean-Louis布朗格 , Jean-Louis加缪 , 西里尔科马 , 埃尔维·德尔塞尼 , 让·加西诺 , 埃曼纽尔·莱迪诺 , 菲利普·奎雷 , 伯特兰·里奇 :
软件安全评估和概率。 DSN研讨会 2016 : 213-214 2013 [注2] 扬尼克·莫伊 , 埃曼纽尔·莱迪诺 , 埃尔维·德尔塞尼 , 弗吉尼亚威尔斯 , 本杰明·莫纳特 :
测试或正式验证:DO-178C替代方案和行业经验。 IEEE软件。 30 ( 三 ) : 50-57 ( 2013 )
2000 – 2009
![](https://dblp.org/img/cog.dark.24x24.png)