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

Massimo Benerecetti

University of Naples Federico II

15H指数
94论文数
917被引数
收录论文 3
发表时间
logo
Verifying Linear Temporal Properties on Polyhedral Systems: Decidability and Symbolic Algorithms在多面体系统上验证线性时序属性：可判定性与符号算法
errInformation and Computation
IF1
err2026-06-01
err0
PREAI
errBenerecetti, Massimo; Faella, Marco; Mogavero, Fabio
err分享
err收藏
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2020-03-01
err5
errOAAI
errNardone, Roberto; Marrone, Stefano; Gentile, Ugo; Amato, Aniello; Barberio, Gregorio; Benerecetti, Massimo; De Guglielmo, Renato; Di Martino, Beniamino; Mazzocca, Nicola; Peron, Adriano; Pisani, Gaetano; Velardi, Luigi; Vittorini, Valeria
err分享
err收藏
Timed protocol insecurity problem is NP-complete
errFUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE
IF6.1
err2013-03-01
err0
PREAI
errBenerecetti, Massimo; Peron, Adriano
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
S
S. Marrone
H 指数: 38 · 论文数: 316
N
Nicola Mazzocca
H 指数: 29 · 论文数: 307
B
Beniamino Di Martino
H 指数: 28 · 论文数: 447
V
Valeria Vittorini
H 指数: 23 · 论文数: 120
R
Roberto Nardone
H 指数: 20 · 论文数: 97
查看更多