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

Tuomas Kuismin

Aalto University

4H指数
8论文数
53被引数
收录论文 2
发表时间
logo
Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook工业控制系统中的安全与安全协同工程: 正式展望
errSOFTWARE ENGINEERING FOR RESILIENT SYSTEMS, SERENE 2017
IF0
err2017-08-11
err10
PREAI
errVistbakka, Inna; Troubitsyna, Elena; Kuismin, Tuomas; Latvala, Timo
err分享
err收藏
Verifying large modular systems using iterative abstraction refinement
errRELIABILITY ENGINEERING & SYSTEM SAFETY
IF11
err2015-07-01
err3
PREAI
errLahtinen, Jussi; Kuismin, Tuomas; Heljanko, Keijo
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
K
Keijo Heljanko
H 指数: 28 · 论文数: 173
E
Elena Troubitsynå
H 指数: 19 · 论文数: 195
T
Timo Latvala
H 指数: 16 · 论文数: 37
J
Jussi Lahtinen
H 指数: 11 · 论文数: 58
I
Inna Vistbakka
H 指数: 7 · 论文数: 19
已加载全部