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

Junbeom Yoo

Konkuk University

14H指数
88论文数
628被引数
收录论文 12
发表时间
logo
Integrating diversity and defense-in-depth analysis into STPA for digital I&C systems of small modular reactors将多样性与纵深防御分析集成到小模块反应堆数字仪控系统的STPA中
errNuclear Engineering and Technology
IF2.6
err2026-08-18
err0
errOAAI
errYoona Heo; Junbeom Yoo
err分享
err收藏
A systematic co-engineering of safety and security analysis in requirements engineering process
errINTERNATIONAL JOURNAL OF CRITICAL INFRASTRUCTURE PROTECTION
IF5.3
err2023-12-01
err1
PREAI
errJung, Sejin; Yoo, Junbeom; Malek, Sam
err分享
err收藏
A Software Fault Tree Analysis Technique for Formal Requirement Specifications of Nuclear Reactor Protection Systems
errRELIABILITY ENGINEERING & SYSTEM SAFETY
IF11
err2020-11-01
err19
PREAI
errJung, Sejin; Yoo, Junbeom; Lee, Young-Jun
err分享
err收藏
A practical application of NUREG/CR-6430 software safety hazard analysis to FPGA software
errRELIABILITY ENGINEERING & SYSTEM SAFETY
IF11
err2020-10-01
err2
PREAI
errJung, Sejin; Yoo, Junbeom; Lee, Young-Jun
err分享
err收藏
Formal verification of ECML hybrid models with spaceex
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2017-12-01
err2
PREAI
errYoon, Sanghyun; Yoo, Junbeom
err分享
err收藏
A systematic verification of behavioral consistency between FBD design and ANSI-C implementation using HW-CBMC
errRELIABILITY ENGINEERING & SYSTEM SAFETY
IF11
err2013-12-01
err2
PREAI
errLee, Dong-Ah; Yoo, Junbeom; Lee, Jang-Soo
err分享
err收藏
A data flow-based structural testing technique for FBD programs一种基于数据流的FBD程序结构测试技术
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2009-07-01
err39
PREAI
errJee, Eunkyoung; Yoo, Junbeom; Cha, Sungdeok; Bae, Doohwan
err分享
err收藏
Formal Modeling and Verification of Safety-Critical Software
errIEEE SOFTWARE
IF3
err2009-05-01
err37
PREAI
errYoo, Junbeom; Jee, Eunkyoung; Cha, Sungdeok
err分享
err收藏
An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification基于软件检查，需求可追溯性和形式规范的NPP安全关键系统软件需求分析的有效技术
errRELIABILITY ENGINEERING & SYSTEM SAFETY
IF11
err2005-09-01
err3
PREAI
errKoo, SR; Seong, PH; Yoo, J; Cha, SD; Yoo, YJ
err分享
err收藏
Software safety analysis of function block diagrams using fault trees
errRELIABILITY ENGINEERING & SYSTEM SAFETY
IF11
err2005-06-01
err36
PREAI
errOh, Y; Yoo, J; Cha, S; Son, HS
err分享
err收藏
A formal software requirements specification method for digital nuclear plant protection systems
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2005-01-01
err45
PREAI
errYoo, J; Kim, T; Cha, S; Lee, JS; Son, HS
err分享
err收藏
Systematic evaluation of fault trees using real-time model checker UPPAAL
errRELIABILITY ENGINEERING & SYSTEM SAFETY
IF11
err2003-10-01
err10
errOAAI
errCha, S; Son, H; Yoo, J; Jee, E; Seong, PH
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
S
Sam Malek
H 指数: 47 · 论文数: 170
J
Jang‐Soo Lee
H 指数: 28 · 论文数: 141
P
Poong Hyun Seong
H 指数: 27 · 论文数: 240
D
Doo‐Hwan Bae
H 指数: 26 · 论文数: 240
Y
Youngjun Lee
H 指数: 21 · 论文数: 195
查看更多