Jean-Frédéric Etienne女士
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 【c9】 约阿希姆·扎恩特弗纳 , 德米特罗·凯达洛夫 , Jean-Frédéric Etienne女士 , 哈维尔·迪亚斯 :
Djed:一种经过正式验证的加密支持自治Stablecoin协议。 中国工商银行 2023 : 1-9 2021 [i1] 约阿希姆·扎恩特费尔纳 , 德米特罗·凯达洛夫 , 让-弗雷德里克·埃蒂安 , 哈维尔·迪亚斯 :
Djed:一种经过正式验证的加密支持的钉住算法Stablecoin。 IACR加密。 电子打印架构。 2021 : 1069 ( 2021 )
2010 – 2019
2015 【c8】 Jean-Frédéric Etienne女士 , 曼努埃尔·马雷克 , 弗洛伦特·安塞尤姆 , 维罗妮克·德勒巴雷 :
提高基于模型的证明活动的可预测性、效率和可信度。 ICSE(2) 2015 : 139-148 2010 【c7】 Jean-Frédéric Etienne女士 , S.费希特 , E.朱佩 :
使用Simulink设计验证程序证明地面运输领域复杂安全关键系统的行为特性。 CSDM公司 2010 : 61-72
2000 – 2009
2008 [j1] 大卫·德拉海耶 , Jean-Frédéric Etienne女士 , Véronique Donzeau-Gouge公司 :
从Focal到UML的正式而合理的转换:机场安全法规的应用。 因诺夫。 系统。 柔和。 工程师。 4 ( 三 ) : 267-274 ( 2008 ) 【c6】 大卫·德拉海耶 , Jean-Frédéric Etienne女士 , Véronique Donzeau-Gouge公司 :
使用焦点环境对机场安全法规进行形式化建模。 重新焊接 2008 : 16-20 【c5】 大卫·德拉海耶 , Jean-Frédéric Etienne女士 , Véronique Donzeau-Gouge公司 :
从焦点规范生成UML模型:机场安全法规的应用。 TASE公司 2008 : 121-124 2007 【c4】 大卫·德拉海耶 , 凯瑟琳·杜布瓦 , Jean-Frédéric Etienne女士 :
从逻辑归纳类型中提取纯功能内容。 TPHOL公司 2007 : 70-85 2006 【c3】 大卫·德拉海耶 , Jean-Frédéric Etienne女士 , Véronique Donzeau-Gouge公司 :
重点模拟机场安全条例。 ReMo2V型 2006 【c2】 大卫·德拉海耶 , Jean-Frédéric Etienne女士 , Véronique Donzeau-Gouge公司 :
使用焦点环境认证机场安全条例。 FM公司 2006 : 48-63 [c1] 大卫·德拉海耶 , Jean-Frédéric Etienne女士 , Véronique Donzeau-Gouge公司 :
利用焦点环境推理机场安全条例。 ISoLA公司 2006 : 45-52
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)