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

Gustavo Carvalho

Universidade Federal de Pernambuco

10H指数
56论文数
383被引数
收录论文 2
发表时间
logo
Executable Conformance Testing Theories: From Theory to Practice and Back可执行一致性测试理论：从理论到实践及回归
errFORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF0
err2026-01-01
err0
PREAI
errCarvalho, Gustavo; Santana, Lucas; Sobral, Fabio; Souza, Beatriz
err分享
err收藏
An event-driven high level model for the specification of laws in open multi-agent systems
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2009-04-01
err1
PREAI
errPaes, Rodrigo; Lucena, Carlos; Carvalho, Gustavo; Cowan, Don
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
C
Carlos Lucena
H 指数: 33 · 论文数: 549
R
Rodrigo Paes
H 指数: 5 · 论文数: 21
B
Beatriz Souza
H 指数: 3 · 论文数: 10
F
Fábio Sobral
H 指数: 0 · 论文数: 2
S
Santana, Lucas
H 指数: 0 · 论文数: 1
查看更多