科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
P
Peter W. Frey
机构信息待补充
20
H指数
82
论文数
3.5K
被引数
0
相关解读
订阅
收录论文
1
发表时间
发表时间
IF
被引数
A formal specification and verification framework for Time Warp-based parallel simulation
基于时间扭曲的并行仿真的形式化规范和验证框架
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF
5.6
2002-01-01
8
OA
AI
Frey, P; Radhakrishnan, R; Carter, HW; Wilsey, PA; Alexander, P
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
P
Philip A. Wilsey
H 指数: 21 · 论文数: 244
P
Perry Alexander
H 指数: 13 · 论文数: 137
R
R. Radhakrishnan
H 指数: 11 · 论文数: 43
H
H.W. Carter
H 指数: 2 · 论文数: 3
已加载全部