罗宾逊
人员信息
优化列表
2010 – 2019
2015 【c1】 马可·波扎诺 , 亚历山德罗·西马蒂 , 安东尼·费尔南德斯·皮雷 , 大卫琼斯 , 格雷格·金伯利 , T.佩特里 , 罗宾逊 , 斯特凡诺·托内塔 :
AIR6110车轮制动系统的形式化设计与安全性分析。 CAV(1) 2015 : 518-535
2000 – 2009
2006 [j1] 罗宾逊 , D.麦克纳布 , A.麦克纳布 :
基于规则的专家系统,用于超声波缺陷模型模拟器中的误差自动解释。 IEEE传输。 系统。 人类网络。 A部分 36 ( 6 ) : 1202-1210 ( 2006 )