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

Sergiy Vilkomir

University of Tennessee System

16H指数
54论文数
997被引数
收录论文 2
发表时间
logo
Using Formal Specifications to Support Testing使用正式规范支持测试
errACM COMPUTING SURVEYS
IF28
err2009-02-23
err236
errOAAI
errHierons, Robert M.; Bogdanov, Kirill; Bowen, Jonathan P.; Cleaveland, Rance; Derrick, John; Dick, Jeremy; Gheorghe, Marian; Harman, Mark; Kapoor, Kalpesh; Krause, Paul; Luettgen, Gerald; Simons, Anthony J. H.; Vilkomir, Sergiy; Woodward, Martin R.; Zedan, Hussein
err分享
err收藏
Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2009-02-01
err6
PREAI
errKrishna, Aneesh; Vilkomir, Sergiy A.; Ghose, Aditya K.
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
M
Mark Harman
H 指数: 90 · 论文数: 712
J
Jonathan P. Bowen
H 指数: 59 · 论文数: 653
R
Robert M. Hierons
H 指数: 40 · 论文数: 388
P
Paul Krause
H 指数: 39 · 论文数: 347
R
Rance Cleaveland
H 指数: 36 · 论文数: 197
查看更多