马可·马拉扎
人员信息
优化列表
2010 – 2019
2017 [注2] 亚历山大·阿诺德 , 马西莫·巴莱尼 , 阿尔贝托·费拉里 , 马可·马拉扎 , 瓦莱里奥·塞尼 , Axel Legay公司 , 让·奎尔贝夫 , 克里斯托夫·埃齐恩 :
SMC在异构系统连续验证中的应用。 EAI认可的交易。 工业网络智能。 系统。 4 ( 10 ) : e3(电子3) ( 2017 ) [j1] 亚历山大·阿诺德 , 马西莫·巴莱尼 , 阿尔贝托·费拉里 , 马可·马拉扎 , 瓦莱里奥·塞尼 , Axel Legay公司 , 让·奎尔贝夫 , 克里斯托弗·埃齐恩 :
SMC在异构系统连续验证中的应用。 EAI认可的交易。 工业网络智能。 系统。 4 ( 11 ) : 第2页 ( 2017 ) 2016 【c3】 亚历山大·阿诺德 , 马西莫·巴莱尼 , 阿尔贝托·费拉里 , 马可·马拉扎 , 瓦莱里奥·塞尼 , Axel Legay公司 , 让·奎尔贝夫 , 克里斯托夫·埃齐恩 :
SMC在异构系统连续验证中的应用。 SimuTools(模拟工具) 2016 : 76-85 2014 【c2】 马可·马拉扎 , 弗朗西斯科·梅尼切利 , 毛罗·奥利维耶里 , 奥兰多·费兰特 , 阿尔贝托·费拉里 :
生成计时器单元代码的基于模型的方法。 苹果派 2014 : 203-210 [c1] 奥兰多·费兰特 , 阿尔贝托·法拉利 , 马可·马拉扎 :
基于模型的嵌入式系统高覆盖率测试套件的生成。 电动滑行系统 2014 : 1-2