科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
N
Neil White
chevron
7
H指数
20
论文数
369
被引数
0
相关解读
订阅
收录论文
3
发表时间
发表时间
IF
被引数
What Can Agile Methods Bring to High-Integrity Software Development?
COMMUNICATIONS OF THE ACM
IF
12.2
2017-09-25
9
OA
AI
Chapman, Roderick; White, Neil; Woodcock, Jim
分享
收藏
Formal verification: will the seedling ever flower?
PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES
IF
3.7
2017-09-04
3
OA
AI
White, Neil; Matthews, Stuart; Chapman, Roderick
分享
收藏
Streamlined Life Cycle Approaches for Use at Oil Refineries and Other Large Industrial Facilities
INDUSTRIAL & ENGINEERING CHEMISTRY RESEARCH
IF
3.9
2010-12-21
11
PRE
AI
Weston, Neil; Clift, Roland; Holmes, Philip; Basson, Lauren; White, Neil
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
R
Roland Clift
H 指数: 56 · 论文数: 373
J
Jim Woodcock
H 指数: 38 · 论文数: 353
L
Lauren Basson
H 指数: 15 · 论文数: 42
R
Roderick Chapman
H 指数: 14 · 论文数: 53
P
Philip Holmes
H 指数: 7 · 论文数: 15
查看更多