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

Gerhard Schellhorn

university of augsburg

27H指数
147论文数
2.2K被引数
收录论文 2
发表时间
logo
Model Checking Buffered Durable Linearizability in CSPCSP中缓冲持久线性化的模型检测
errINTEGRATED FORMAL METHODS, IFM 2025
IF0
err2026-01-01
err0
PREAI
errEdmonds, Chelsea; Derrick, John; Dongol, Brijesh; Schellhorn, Gerhard; Wehrheim, Heike
err分享
err收藏
Safety analysis of the height control system for the Elbtunnel
errRELIABILITY ENGINEERING & SYSTEM SAFETY
IF11
err2003-09-01
err10
PREAI
errOrtmeier, F; Schellhorn, G; Thums, A; Reif, W; Hering, B; Trappschuh, H
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
W
Wolfgang Reif
H 指数: 31 · 论文数: 395
J
John Derrick
H 指数: 30 · 论文数: 312
H
Heike Wehrheim
H 指数: 27 · 论文数: 257
F
Frank Ortmeier
H 指数: 23 · 论文数: 170
B
Brijesh Dongol
H 指数: 14 · 论文数: 140
查看更多