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

Neeraj Kumar Singh

universite de toulouse

15H指数
127论文数
806被引数
收录论文 2
发表时间
logo
Reflexive Event-B: Semantics and Correctness the EB4EB Framework
errIEEE TRANSACTIONS ON RELIABILITY
IF5.7
err2024-06-01
err3
errOAAI
errRiviere, Peter; Singh, Neeraj Kumar; Ait-Ameur, Yamine
err分享
err收藏
Formal domain-driven system development in Event-B: Application to interactive critical systems
errJOURNAL OF SYSTEMS ARCHITECTURE
IF4.1
err2023-02-01
err2
errOAAI
errMendil, Ismail; Ait-Ameur, Yamine; Singh, Neeraj Kumar; Dupont, Guillaume; Mery, Dominique; Palanque, Philippe
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
P
Philippe Palanque
H 指数: 39 · 论文数: 504
G
Guillaume Dupont
H 指数: 16 · 论文数: 83
Y
Yamine Aït‐Ameur
H 指数: 13 · 论文数: 179
D
Dominique Méry
H 指数: 12 · 论文数: 110
P
Peter Rivière
H 指数: 7 · 论文数: 30
查看更多