停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

安东尼·费尔南德斯·皮雷

>主页 >珀森斯

人员信息

优化列表

优化激活！

放大了？？属于？？记录

查看优化列表

导出优化列表为

显示全部？？记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2023
[第11条]
- 看法
  - 电子版@inforsid.fr（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/informsid/ChanPP023
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/informsid/ChanPP023
阿诺克·陈,安东尼·费尔南德斯·皮雷,托马斯·波拉克,圣埃芬妮·罗塞尔:
《L'avion et sa chaãne d’assembly：全球概念的首要需求》。 INFORSID公司 2023:33-34
[第10条]
- 看法
  - 电子版@inforsid.fr（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/informsid/ChanPP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/informsid/ChanPP23
阿诺克·陈,安东尼·费尔南德斯·皮雷,托马斯·波拉克:
教唆者，拉夫菲尔和阿特拉布埃尔·德布茨是一名博恩演员，也是一名反对者。 INFORSID公司 2023:35-36岁
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rcis/ChanPP0BCD23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rcis/ChanPP0BCD23
阿诺克·陈,安东尼·费尔南德斯·皮雷,托马斯·波拉克,圣埃芬妮·罗塞尔,弗朗索瓦·布伊西埃,克劳德·库勒,皮埃尔·埃里克·德雷克斯:
目标建模：航空设计与制造。 RCIS公司 2023:3-18
2022
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/caise/ChanPPR22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caise/ChanPPR22
阿诺克·陈,安东尼·费尔南德斯·皮雷,托马斯·波拉克,圣埃芬妮·罗塞尔:
飞机及其制造系统：从早期需求到全球设计。 CAiSE公司 2022:164-179
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/er/ChanPP22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/er/ChanPP22
阿诺克·陈,安东尼·费尔南德斯·皮雷,托马斯·波拉克:
尝试引导并将目标分配给合适的参与者。急诊室 2022:413-422
2021
【c6】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BozzanoCPGJK20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BozzanoCPGJK20
马可·波扎诺,亚历山德罗·西马蒂,安东尼·费尔南德斯·皮雷斯,阿尔贝托·格里乔,马丁·乔纳斯,格雷格·金伯利:
基于SMT的失效传播高效分析。 CAV（2） 2021:209-230

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2015
【c5】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BozzanoCPJKPRT15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BozzanoCPJKPRT15
马可·波扎诺,亚历山德罗·西马蒂,安东尼·费尔南德斯·皮雷,大卫琼斯,格雷格·金伯利,T.佩特里,罗宾逊,斯特凡诺·托内塔:
AIR6110车轮制动系统的形式化设计与安全性分析。 CAV（1） 2015:518-535
2014
【b1】
- 看法
  - 电子版@archives-ouvertes.fr（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 博士/哈尔/费尔南德斯·皮雷斯14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/hal/FrenderandesPires14
安东尼·费尔南德斯·皮雷:
程序验证程序合并方法。（通过结合形式化方法和模型驱动工程进行软件验证）。法国图卢兹空间研究所，2014
2013
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/models/PiresPWD13文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/models/PiresPWD13
安东尼·费尔南德斯·皮雷,托马斯·波拉克,弗吉尼亚威尔斯,圣埃芬·杜普拉特:
嵌入式软件中的行为验证，从模型到源代码。模型 2013:320-335
2012
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tsi/PiresDB12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tsi/PiresDB12
安东尼·费尔南德斯·皮雷,圣埃芬·杜普拉特,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】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/medi/PiresPD12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/medi/PiresPD12
安东尼·费尔南德斯·皮雷,托马斯·波拉克,圣埃芬·杜普拉特:
模型和源代码级别的正式软件验证。媒体 2012:162-169
2011
【c2】
- 看法
  - 电子版@cnrs.fr（存档）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/informsid/DelmasPDP11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/informsid/DelmasPDP11
雷米·德尔马斯,托马斯·波拉克,大卫·杜塞,安东尼·费尔南德斯·皮雷:
IDM：Versune助手？la概念。 INFORSID公司 2011:147-162
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/medi/德尔马DPP11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/medi/DelmasDPP11
雷米·德尔马斯,大卫·杜塞,安东尼·费尔南德斯·皮雷,托马斯·波拉克:
支持基于模型的设计。媒体 2011:237-248

合著者索引

请参阅常见问题解答

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关详细信息查看我们的F.A.Q。