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

Giuseppe Del Castillo

universidad de chile

9H指数
19论文数
227被引数
收录论文 2
发表时间
logo
Using Symbolic Model Execution to Detect Vulnerabilities of Smart Contracts利用符号模型执行检测智能合约漏洞
errRIGOROUS STATE-BASED METHODS, ABZ 2025
IF0
err2026-01-01
err0
PREAI
errBraghin, Chiara; Del Castillo, Giuseppe; Riccobene, Elvinia; Valentini, Simone
err分享
err收藏
Business-oriented prioritization: A novel graphical technique
errRELIABILITY ENGINEERING & SYSTEM SAFETY
IF11
err2009-08-01
err16
PREAI
errPascual, R.; Del Castillo, G.; Louit, D.; Knights, P.
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
E
Elvinia Riccobene
H 指数: 28 · 论文数: 200
P
Peter Knights
H 指数: 20 · 论文数: 161
R
Rodrigo Pascual
H 指数: 20 · 论文数: 94
C
Chiara Braghin
H 指数: 12 · 论文数: 54
D
Darko Louit
H 指数: 8 · 论文数: 16
查看更多