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

Eerke Boiten

University of Kent

21H指数
257论文数
1.6K被引数
收录论文 4
发表时间
logo
Security and Privacy in Unified Communication
errACM COMPUTING SURVEYS
IF28
err2022-02-03
err8
errOAAI
errReisinger, Thomas; Wagner, Isabel; Boiten, Eerke Albert
err分享
err收藏
From ODP viewpoint consistency to Integrated Formal Methods
errCOMPUTER STANDARDS & INTERFACES
IF3.1
err2013-03-01
err3
errOAAI
errBoiten, Eerke A.; Derrick, John
err分享
err收藏
Calculating upward and downward simulations of state-based specifications
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err1999-09-01
err12
errOAAI
errDerrick, J; Boiten, E
err分享
err收藏
Viewpoints and consistency: translating LOTOS to Object-z
errCOMPUTER STANDARDS & INTERFACES
IF3.1
err1999-08-01
err7
errOAAI
errDerrick, J; Boiten, E; Bowman, H; Steen, M
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
H
Howard Bowman
H 指数: 38 · 论文数: 501
J
John Derrick
H 指数: 30 · 论文数: 312
T
Thomas Reisinger
H 指数: 22 · 论文数: 94
M
Maarten Steen
H 指数: 20 · 论文数: 68
I
Isabel Wagner
H 指数: 13 · 论文数: 82
已加载全部