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

Shin’ichi Shiriashi

University of Illinois Urbana-Champaign

1H指数
2论文数
22被引数
收录论文 1
发表时间
logo
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial
errRUNTIME VERIFICATION, RV 2015
IF0
err2015-11-15
err13
errOAAI
errDaian, Philip; Falcone, Ylies; Meredith, Patrick; Serbanuta, Traian Florin; Shiriashi, Shin'ichi; Iwai, Akihito; Rosu, Grigore
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
G
Grigore Roşu
H 指数: 55 · 论文数: 336
Y
Ylìès Falcone
H 指数: 28 · 论文数: 189
P
Patrick Meredith
H 指数: 19 · 论文数: 68
T
Traian Florin Şerbănuţă
H 指数: 17 · 论文数: 58
P
Philip Daian
H 指数: 12 · 论文数: 21
查看更多