科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
M
Marcel Oliveira
Universidade Federal do Rio Grande do Norte
12
H指数
55
论文数
532
被引数
0
相关解读
订阅
收录论文
3
发表时间
发表时间
IF
被引数
Bridging the B-Method and ACSL: Towards Verified C Code
连接B-方法与ACSL:迈向验证C代码
FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF
0
2026-01-01
0
PRE
AI
Dias, Fagner M.; Oliveira, Marcel V. M.; Lecomte, Thierry
分享
收藏
A refinement checking based strategy for component-based systems evolution
JOURNAL OF SYSTEMS AND SOFTWARE
IF
4.1
2020-09-01
3
OA
AI
Dihego, Jose; Sampaio, Augusto; Oliveira, Marcel
分享
收藏
A Research Landscape on Formal Verification of Software Architecture Descriptions
软件体系结构描述的形式化验证研究前景
IEEE ACCESS
IF
3.6
2019-01-01
7
OA
AI
Araujo, Camila; Cavalcante, Everton; Batista, Thais; Oliveira, Marcel; Oquendo, Flavio
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
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
查看更多