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

Marcel Oliveira

Universidade Federal do Rio Grande do Norte

12H指数
55论文数
532被引数
收录论文 3
发表时间
logo
Bridging the B-Method and ACSL: Towards Verified C Code连接B-方法与ACSL：迈向验证C代码
errFORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF0
err2026-01-01
err0
PREAI
errDias, Fagner M.; Oliveira, Marcel V. M.; Lecomte, Thierry
err分享
err收藏
A refinement checking based strategy for component-based systems evolution
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2020-09-01
err3
errOAAI
errDihego, Jose; Sampaio, Augusto; Oliveira, Marcel
err分享
err收藏
A Research Landscape on Formal Verification of Software Architecture Descriptions软件体系结构描述的形式化验证研究前景
errIEEE ACCESS
IF3.6
err2019-01-01
err7
errOAAI
errAraujo, Camila; Cavalcante, Everton; Batista, Thais; Oliveira, Marcel; Oquendo, Flavio
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
T
Thaı́s Batista
H 指数: 30 · 论文数: 327
F
Flávio Oquendo
H 指数: 23 · 论文数: 297
E
Everton Cavalcante
H 指数: 20 · 论文数: 141
T
Thierry Lecomte
H 指数: 11 · 论文数: 55
J
José Dihego
H 指数: 2 · 论文数: 4
查看更多