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

Salwa Saad

King Abdulaziz University

2H指数
3论文数
6被引数
收录论文 1
发表时间
logo
Temporal-Logic-Based Testing Tool for Programs Using the Message Passing Interface (MPI) and Open Multi-Processing (OpenMP) Programming Models基于时序逻辑的测试工具，用于使用消息传递接口 (MPI) 和开放多处理 (OpenMP) 编程模型的程序
errIEEE ACCESS
IF3.6
err2025-01-01
err1
errOAAI
errSaad, Salwa; Fadel, Etimad; Alzamzami, Ohoud; Eassa, Fathy; Alghamdi, Ahmed Mohammed
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
F
Fathy Eassa
H 指数: 16 · 论文数: 115
A
Ahmed Mohammed Alghamdi
H 指数: 16 · 论文数: 111
E
Etimad Fadel
H 指数: 15 · 论文数: 41
O
Ohoud Alzamzami
H 指数: 9 · 论文数: 24
已加载全部