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

Technical University of Vienna

学者数4
论文数4
被引数0
关联论文 (4)
发表时间
delete
Formal Verification of Transcompiled Mobile Applications Using First-Order Logic基于一阶逻辑的转译移动应用程序形式化验证
errTechnologies 2025, Vol. 13, Page 580
IF3.6
err2025-12-11
err0
errOAAI
errAhmad Ahmad Muhammad; Mahitap Ayman; Samer A. Elhossany; Walaa Medhat; Sahar Selim; Hala Zayed; Ahmed H. Yousef; Axel Jantsch; Nahla Elaraby
err分享
err收藏
Turbulence anisotropy modulation in bubble-laden channel flow: A numerical study气泡负载通道流中的湍流各向异性调制：一项数值研究
errInternational Journal of Multiphase Flow
IF3.8
err2025-10-30
err0
errOAAI
errDavide Procacci; Arturo A. Arosemena; Simone Di Giorgio; Jannike Solsvik
err分享
err收藏
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收藏
Ensuring Zero Trust in GDPR-Compliant Deep Federated Learning Architecture确保符合GDPR的深度联邦学习架构中的零信任
errcomputers
IF0
err2025-08-05
err0
errOAAI
errZahra Abbas; Sunila Fatima Ahmad; Adeel Anjum; Madiha Haider Syed; Saif Ur Rehman Malik; Semeen Rehman
err分享
err收藏