安东尼·费尔南德斯·皮雷
人员信息
SPARQL查询
优化列表
2020年–今天
2023 [第11条] 阿诺克·陈 , 安东尼·费尔南德斯·皮雷 , 托马斯·波拉克 , 斯特凡尼·罗塞尔 :
《L'avion et sa chaãne d’assembly:全球概念的首要需求》。 信息系统 2023 : 33-34 [c10] 阿诺克·陈 , 安东尼·费尔南德斯·皮雷 , 托马斯·波拉克 :
教唆者,拉夫菲尔和阿特拉布埃尔·德布茨是一名博恩演员,也是一名反对者。 信息系统 2023 : 35-36 【c9】 阿诺克·陈 , 安东尼·费尔南德斯·皮雷 , 托马斯·波拉克 , 斯特凡尼·罗塞尔 , 弗朗索瓦·布瓦西埃 , 克劳德·库勒 , 皮埃尔·埃里克·德雷克斯 :
目标建模:航空设计与制造。 RCIS公司 2023 : 3-18 2022 【c8】 阿诺克·陈 , 安东尼·费尔南德斯·皮雷 , 托马斯·波拉克 , 斯特凡尼·罗塞尔 :
飞机及其制造系统:从早期需求到全球设计。 CAiSE公司 2022 : 164-179 【c7】 阿诺克·陈 , 安东尼·费尔南德斯·皮雷 , 托马斯·波拉克 :
尝试引导并将目标分配给合适的参与者。 急诊室 2022 : 413-422 2021 【c6】 马可·波扎诺 , 亚历山德罗·西马蒂 , 安东尼·费尔南德斯·皮雷 , 阿尔贝托·格里乔 , 马丁·乔纳斯 , 格雷格·金伯利 :
基于SMT的失效传播高效分析。 CAV(2) 2021 : 209-230
2010 – 2019
2015 【c5】 马可·波扎诺 , 亚历山德罗·西马蒂 , 安东尼·费尔南德斯·皮雷 , 大卫琼斯 , 格雷格·金伯利 , T.佩特里 , 罗宾逊 , 斯特凡诺·托内塔 :
AIR6110车轮制动系统的形式化设计与安全性分析。 CAV(1) 2015 : 518-535 2014 【b1】 安东尼·费尔南德斯·皮雷 :
程序验证程序合并方法。 (通过结合形式化方法和模型驱动工程进行软件验证)。 法国图卢兹空间研究所, 2014 2013 【c4】 安东尼·费尔南德斯·皮雷 , 托马斯·波拉克 , 弗吉尼亚威尔斯 , 圣埃芬·杜普拉特 :
嵌入式软件中的行为验证,从模型到源代码。 模型 2013 : 320-335 2012 [j1] 安东尼·费尔南德斯·皮雷 , 圣埃芬·杜普拉特 , C.贝西耶 :
Approche UML/SysML pour la specification logiciele de systèmes unbarqués aéronautiques。 Travaux et retours d’experience公司。 技术科学。 信息类 31 ( 7 ) : 897-916 ( 2012 ) 【c3】 安东尼·费尔南德斯·皮雷 , 托马斯·波拉克 , 圣埃芬·杜普拉特 :
模型和源代码级别的正式软件验证。 媒体 2012 : 162-169 2011 【c2】 雷米·德尔马斯 , 托马斯·波拉克 , 大卫·杜塞 , 安东尼·费尔南德斯·皮雷 :
IDM:Versune助手? la概念。 信息系统 2011 : 147-162 【c1】 雷米·德尔马斯 , 大卫·杜塞 , 安东尼·费尔南德斯·皮雷 , 托马斯·波拉克 :
支持基于模型的设计。 媒体 2011 : 237-248