科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
H
Hala Zayed
benha university
0
H指数
1
论文数
0
被引数
0
相关解读
订阅
收录论文
1
发表时间
发表时间
IF
被引数
TC-Verifier: Trans-Compiler-Based Code Translator Verifier with Model-Checking
TC-Verifier:基于转换编译器的代码翻译器验证器,采用模型检测技术
Applied System Innovation 2025, Vol. 8, Page 60
IF
3.7
2025-08-22
0
PRE
AI
Amira T. Mahmoud; Walaa Medhat; Sahar Selim; Hala Zayed; Ahmed H. Yousef; Nahla Elaraby
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
W
Walaa Medhat
H 指数: 12 · 论文数: 57
S
Sahar Selim
H 指数: 9 · 论文数: 57
N
Nahla Elaraby
H 指数: 5 · 论文数: 21
A
Amira T. Mahmoud
H 指数: 4 · 论文数: 9
A
Ahmed H. Yousef
H 指数: 0 · 论文数: 2
已加载全部