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

Jan Friso Groote

Eindhoven University of Technology

36H指数
367论文数
4.9K被引数
收录论文 5
发表时间
logo
A Complete Formal Specification and Verification of the BESW Software Control System of the Maeslant Storm Surge Barrier马斯兰特风暴潮屏障BESW软件控制系统的完整形式化规范与验证
errFORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025
IF0
err2026-01-01
err0
PREAI
errBeers, Adrian; Booy, Jore; Groote, Jan Friso; van den Bogaard, Johan; Bouwman, Mark
err分享
err收藏
Formal Modeling and Analysis of Slot Machines老虎机的形式化建模与分析
errIEEE TRANSACTIONS ON GAMES
IF2.8
err2025-12-01
err0
PREAI
errGroote, Jan Friso; van Heesch, Sander; Volk, Matthias
err分享
err收藏
The Autonomous Data Language-Concepts, design and formal verification自主数据语言——概念、设计与形式化验证
errTHEORETICAL COMPUTER SCIENCE
IF1
err2025-10-01
err0
errOAAI
errFranken, Tom T. P.; Neele, Thomas; Groote, Jan Friso
err分享
err收藏
Verification of Hypertorus Communication Grids by Infinite Petri Nets and Process Algebra
errIEEE-CAA JOURNAL OF AUTOMATICA SINICA
IF19.2
err2019-05-01
err11
errOAAI
errZaitsev, Dmitry A.; Shmeleva, Tatiana R.; Groote, Jan Friso
err分享
err收藏
A Probabilistic Analysis of the Game of the Goose
errSIAM REVIEW
IF6.1
err2016-01-01
err1
errOAAI
errGroote, Jan Friso; Wiedijk, Freek; Zantema, Hans
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
F
Freek Wiedijk
H 指数: 22 · 论文数: 86
H
Hans Zantema
H 指数: 20 · 论文数: 202
D
Dmitry A. Zaitsev
H 指数: 16 · 论文数: 134
M
Matthias Volk
H 指数: 14 · 论文数: 65
T
Tatiana R. Shmeleva
H 指数: 8 · 论文数: 55
查看更多