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

Gethin Norman

university of oxford

49H指数
176论文数
1.1W被引数
收录论文 3
发表时间
logo
Probabilistic Model Checking and Autonomy概率模型检测和自治
errANNUAL REVIEW OF CONTROL ROBOTICS AND AUTONOMOUS SYSTEMS
IF14
err2022-05-03
err8
errOAAI
errKwiatkowska, Marta; Norman, Gethin; Parker, David
err分享
err收藏
Model Checking Probabilistic and Stochastic Extensions of the π-Calculus
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2009-03-01
err16
errOAAI
errNorman, Gethin; Palamidessi, Catuscia; Parker, David; Wu, Peng
err分享
err收藏
Controller dependability analysis by probabilistic model checking
errCONTROL ENGINEERING PRACTICE
IF4.6
err2007-11-01
err31
PREAI
errKwiatkowska, Marta; Norman, Gethin; Parker, David
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
M
Marta Kwiatkowska
H 指数: 67 · 论文数: 540
D
David Parker
H 指数: 55 · 论文数: 278
C
Catuscia Palamidessi
H 指数: 40 · 论文数: 444
P
Peng Wu
H 指数: 18 · 论文数: 86
已加载全部