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

Loïc Besnard

universite de rennes

13H指数
104论文数
681被引数
收录论文 4
发表时间
logo
Polychronous automata and their use for formal validation of AADL models
errFRONTIERS OF COMPUTER SCIENCE
IF4.6
err2019-06-18
err2
PREAI
errGautier, Thierry; Guy, Clement; Honorat, Alexandre; Le Guernic, Paul; Talpin, Jean-Pierre; Besnard, Loic
err分享
err收藏
Polychronous modeling, analysis, verification and simulation for timed software architectures
errJOURNAL OF SYSTEMS ARCHITECTURE
IF4.1
err2013-11-01
err12
errOAAI
errYu, Huafeng; Ma, Yue; Gautier, Thierry; Besnard, Loic; Le Guernic, Paul; Talpin, Jean-Pierre
err分享
err收藏
Exploring system architectures in AADL via POLYCHRONY and SYNDEX
errFRONTIERS OF COMPUTER SCIENCE
IF4.6
err2013-10-02
err10
PREAI
errYu, Huafeng; Ma, Yue; Gautier, Thierry; Besnard, Loic; Talpin, Jean-Pierre; Le Guernic, Paul; Sorel, Yves
err分享
err收藏
Formal verification of synchronous data-flow program transformations toward certified compilers同步数据流程序向认证编译器转换的正式验证
errFRONTIERS OF COMPUTER SCIENCE
IF4.6
err2013-09-13
err8
PREAI
errVan Chan Ngo; Talpin, Jean-Pierre; Gautier, Thierry; Le Guernic, Paul; Besnard, Loic
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
P
Paul Le Guernic
H 指数: 25 · 论文数: 188
Y
Yves Sorel
H 指数: 21 · 论文数: 155
J
Jean-Pierre Talpin
H 指数: 21 · 论文数: 266
Y
Yue Ma
H 指数: 17 · 论文数: 61
H
Huafeng Yu
H 指数: 16 · 论文数: 66
查看更多