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

A. Fedeli

机构信息待补充

10H指数
25论文数
346被引数
收录论文 2
发表时间
logo
Properties incompleteness evaluation by functional verification通过功能验证评估属性的不完全性
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2007-04-01
err27
PREAI
errFedeli, Andrea; Fummi, Franco; Pravadelli, Graziano
err分享
err收藏
Timed state space analysis of real-time preemptive systems实时抢占系统的定时状态空间分析
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2004-02-01
err70
PREAI
errBucci, G; Fedeli, A; Sassoli, L; Vicario, E
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
E
Enrico Vicario
H 指数: 26 · 论文数: 228
F
Franco Fummi
H 指数: 24 · 论文数: 459
G
Giacomo Bucci
H 指数: 14 · 论文数: 68
L
L. Sassoli
H 指数: 9 · 论文数: 15
G
Graziano Pravadelli
H 指数: 0 · 论文数: 0
已加载全部