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

Simon Bliudze

communaute universite grenoble alpes

16H指数
102论文数
941被引数
收录论文 4
发表时间
logo
Early validation of system requirements and design through correctness-by-construction
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2018-11-01
err22
errOAAI
errStachtiari, Emmanouela; Mavridou, Anastasia; Katsaros, Panagiotis; Bliudze, Simon; Sifakis, Joseph
err分享
err收藏
Axo: Detection and Recovery for Delay and Crash Faults in Real-Time Control Systems
errIEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
IF9.9
err2018-07-01
err5
errOAAI
errMohiuddin, Maaz; Saab, Wajeb; Bliudze, Simon; Le Boudec, Jean-Yves
err分享
err收藏
Applying Model Checking to Industrial-Sized PLC Programs
errIEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
IF9.9
err2015-12-01
err59
errOAAI
errAdiego, Borja Fernandez; Darvas, Daniel; Vinuela, Enrique Blanco; Tournier, Jean-Charles; Bliudze, Simon; Blech, Jan Olaf; Gonzalez Suarez, Victor Manuel
err分享
err收藏
The algebra of connectors - Structuring interaction in BIP
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2008-10-01
err85
errOAAI
errBliudze, Simon; Sifakis, Joseph
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
J
Joseph Sifakis
H 指数: 57 · 论文数: 318
J
Jean‐Yves Le Boudec
H 指数: 54 · 论文数: 406
J
Jan Olaf Blech
H 指数: 19 · 论文数: 142
P
Panagiotis Katsaros
H 指数: 18 · 论文数: 140
V
Víctor M. González
H 指数: 16 · 论文数: 74
查看更多