科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
D
Dumitru Bogdan Prelipcean
universite paris-est-creteil-val-de-marne (upec)
6
H指数
9
论文数
63
被引数
0
相关解读
订阅
收录论文
1
发表时间
发表时间
IF
被引数
Formal Construction of Threat Detections from Attack Trees
从攻击树中形式化构建威胁检测
FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF
0
2026-01-01
0
PRE
AI
Prelipcean, Dumitru-Bogdan; Dima, Catalin; Varacca, Daniele
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
C
Cătălin Dima
H 指数: 13 · 论文数: 87
D
Daniele Varacca
H 指数: 0 · 论文数: 0
已加载全部