logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
M

Marie-Laure Potet

universite de lorraine

16H指数
82论文数
747被引数
收录论文 2
发表时间
logo
Formally and practically verifying flow properties in industrial systems
errCOMPUTERS & SECURITY
IF5.4
err2019-09-01
err5
errOAAI
errDreier, Jannik; Puys, Maxime; Potet, Marie-Laure; Lafourcade, Pascal; Roch, Jean-Louis
err分享
err收藏
Liability Issues in Software Engineering The use of formal methods to reduce legal uncertainties
errCOMMUNICATIONS OF THE ACM
IF12.2
err2011-04-01
err2
PREAI
errLe Metayer, Daniel; Maarek, Manuel; Mazza, Eduardo; Potet, Marie-Laure; Frenot, Stephane; Valerie Viet Triem Tong; Craipeau, Nicolas; Hardouin, Ronan
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
D
Daniel Le Métayer
H 指数: 30 · 论文数: 146
P
Pascal Lafourcade
H 指数: 26 · 论文数: 344
J
Jannik Dreier
H 指数: 17 · 论文数: 82
V
Valérie Viêt Triêm Tông
H 指数: 14 · 论文数: 96
J
Jean-Louis Roch
H 指数: 13 · 论文数: 171
查看更多