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

Yamine Aït‐Ameur

universite federale toulouse midi-pyrenees (comue)

13H指数
179论文数
828被引数
收录论文 4
发表时间
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收藏
A formal model for output multimodal HCI An Event-B formalization
errCOMPUTING
IF2.8
err2015-06-10
err0
PREAI
errMohand-Oussaid, Linda; Ait-Sadoune, Idir; Ait-Ameur, Yamine; Ahmed-Nacer, Mohamed
err分享
err收藏
Ontologies in engineering: the OntoDB/OntoQL platform
errSOFT COMPUTING
IF2.5
err2015-03-12
err7
errOAAI
errAit-Ameur, Yamine; Baron, Mickael; Bellatreche, Ladjel; Jean, Stephane; Sardet, Eric
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
P
Philippe Palanque
H 指数: 39 · 论文数: 504
L
Ladjel Bellatreche
H 指数: 24 · 论文数: 444
G
Guillaume Dupont
H 指数: 16 · 论文数: 83
N
Neeraj Kumar Singh
H 指数: 15 · 论文数: 127
S
Stéphane Jean
H 指数: 14 · 论文数: 133
查看更多