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

François Bobot

Universite Paris Saclay

11H指数
47论文数
589被引数
收录论文 2
发表时间
logo
The CAISAR Platform: Extending the Reach of Machine Learning Specification and VerificationCAISAR平台：扩展机器学习规范与验证的适用范围
errINTEGRATED FORMAL METHODS, IFM 2025
IF0
err2026-01-01
err0
PREAI
errAlberti, Michele; Bobot, Francois; Girard-Satabin, Julien; Grastien, Alban; Varasse, Aymeric; Chihani, Zakaria
err分享
err收藏
The Dogged Pursuit of Bug-Free C Programs: The Frama-C Software Analysis Platform
errCOMMUNICATIONS OF THE ACM
IF12.2
err2021-07-26
err32
errOAAI
errBaudin, Patrick; Bobot, Francois; Buhler, David; Correnson, Loic; Kirchner, Florent; Kosmatov, Nikolai; Maroneze, Andre; Perrelle, Valentin; Prevosto, Virgile; Signoles, Julien; Williams, Nicky
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
N
Nikolaï Kosmatov
H 指数: 20 · 论文数: 164
A
Alban Grastien
H 指数: 17 · 论文数: 100
J
Julien Signoles
H 指数: 15 · 论文数: 81
V
Virgile Prévosto
H 指数: 12 · 论文数: 84
N
Nicky Williams
H 指数: 10 · 论文数: 37
查看更多