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

Amira T. Mahmoud

Nile University

4H指数
9论文数
41被引数
收录论文 1
发表时间
logo
TC-Verifier: Trans-Compiler-Based Code Translator Verifier with Model-CheckingTC-Verifier：基于转换编译器的代码翻译器验证器，采用模型检测技术
errApplied System Innovation 2025, Vol. 8, Page 60
IF3.7
err2025-08-22
err0
PREAI
errAmira T. Mahmoud; Walaa Medhat; Sahar Selim; Hala Zayed; Ahmed H. Yousef; Nahla Elaraby
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
W
Walaa Medhat
H 指数: 12 · 论文数: 57
S
Sahar Selim
H 指数: 9 · 论文数: 57
N
Nahla Elaraby
H 指数: 5 · 论文数: 21
H
Hala Zayed
H 指数: 0 · 论文数: 1
A
Ahmed H. Yousef
H 指数: 0 · 论文数: 2
已加载全部