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

John Rushby

Georgia Institute of Technology

42H指数
184论文数
7.6K被引数
收录论文 6
发表时间
logo
Example of a Complementary Use of Model Checking and Human Performance Simulation
errIEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS
IF4.4
err2014-10-01
err17
errOAAI
errGelman, Gabriel; Feigh, Karen M.; Rushby, John
err分享
err收藏
Reasoning about the Reliability of Diverse Two-Channel Systems in Which One Channel Is Possibly Perfect
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2012-09-01
err24
errOAAI
errLittlewood, Bev; Rushby, John
err分享
err收藏
Invisible formal methods for embedded control systems
errPROCEEDINGS OF THE IEEE
IF25.9
err2003-01-01
err25
PREAI
errTiwari, A; Shankar, N; Rushby, J
err分享
err收藏
Using model checking to help discover mode confusions and other automation surprises
errRELIABILITY ENGINEERING & SYSTEM SAFETY
IF11
err2002-02-01
err108
PREAI
errRushby, J
err分享
err收藏
Systematic formal verification for fault-tolerant time-triggered algorithms
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err1999-01-01
err51
errOAAI
errRushby, J
err分享
err收藏
Subtypes for specifications: Predicate subtyping in PVS
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err1998-01-01
err81
PREAI
errRushby, J; Owre, S; Shankar, N
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
A
Ashish Tiwari
H 指数: 48 · 论文数: 330
N
Natarajan Shankar
H 指数: 38 · 论文数: 151
B
Bev Littlewood
H 指数: 34 · 论文数: 156
S
Sam Owre
H 指数: 25 · 论文数: 50
K
Karen M. Feigh
H 指数: 20 · 论文数: 230
查看更多