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

Antti Pakonen

vtt technical research center finland

11H指数
70论文数
321被引数
收录论文 6
发表时间
logo
Evaluation of visual property specification languages based on practical model-checking experience基于实际模型检查经验的视觉特性规范语言评估
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2024-10-01
err1
errOAAI
errPakonen, Antti; Buzhinsky, Igor; Vyatkin, Valeriy
err分享
err收藏
Formal Verification of Nonfunctional Requirements of Overall Instrumentation and Control Architectures
errIEEE OPEN JOURNAL OF THE INDUSTRIAL ELECTRONICS SOCIETY
IF4.3
err2024-01-01
err1
errOAAI
errOvsiannikova, Polina; Pakonen, Antti; Muromsky, Dmitry; Kobzev, Maksim; Dubinin, Viktor; Vyatkin, Valeriy
err分享
err收藏
Model checking reveals design issues leading to spurious actuation of nuclear instrumentation and control systems
errRELIABILITY ENGINEERING & SYSTEM SAFETY
IF11
err2021-01-01
err16
errOAAI
errPakonen, Antti; Buzhinsky, I; Bjorkman, K.
err分享
err收藏
Oeritte: User-Friendly Counterexample Explanation for Model Checking
errIEEE ACCESS
IF3.6
err2021-01-01
err7
errOAAI
errOvsiannikova, Polina; Buzhinsky, Igor; Pakonen, Antti; Vyatkin, Valeriy
err分享
err收藏
Symmetry Breaking in Model Checking of Fault-Tolerant Nuclear Instrumentation and Control Systems
errIEEE ACCESS
IF3.6
err2020-01-01
err2
errOAAI
errBuzhinsky, Igor; Pakonen, Antti
err分享
err收藏
Model-Checking Detailed Fault-Tolerant Nuclear Power Plant Safety Functions
errIEEE ACCESS
IF3.6
err2019-01-01
err8
errOAAI
errBuzhinsky, Igor; Pakonen, Antti
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
V
Victor Dubinin
H 指数: 19 · 论文数: 76
V
Valeriy Vyatkin
H 指数: 16 · 论文数: 59
I
Igor Buzhinsky
H 指数: 11 · 论文数: 36
K
Kim Björkman
H 指数: 8 · 论文数: 44
P
Polina Ovsiannikova
H 指数: 4 · 论文数: 19
查看更多