An Empirical Evaluation of Coverage Criteria for FBD Simulation Using Mutation Analysis von LEE, Dong-Ah, KIM, Eui-Sub, YOO, Junbeom

Volltext

Quantitative measures of thoroughness of FBD simulations for PLC-based digital I&C system von Lee, Dong-Ah, Kim, Eui-Sub, Yoo, Junbeom

Volltext

Unfolding Hidden Structures in Cyber-Physical Systems for Thorough STPA Analysis von JUNG, Sejin, KIM, Eui-Sub, YOO, Junbeom

Volltext

An Integrated Software Testing Framework for FPGA-Based Controllers in Nuclear Power Plants von Kim, Jaeyeob, Kim, Eui-Sub, Yoo, Junbeom, Lee, Young Jun, Choi, Jong-Gyun

Volltext

NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs von Kim, Eui-Sub, Lee, Dong-Ah, Jung, Sejin, Yoo, Junbeom, Choi, Jong-Gyun, Lee, Jang-Soo

Volltext

A BEHAVIOR-PRESERVING TRANSLATION FROM FBD DESIGN TO C IMPLEMENTATION FOR REACTOR PROTECTION SYSTEM SOFTWARE von YOO, JUNBEOM, KIM, EUI-SUB, LEE, JANG-SOO

Volltext

An evaluation and acceptance of COTS software for FPGA-based controllers in NPPS von Jung, Sejin, Kim, Eui-Sub, Yoo, Junbeom, Kim, Jang-Yeol, Choi, Jong Gyun

Volltext

Quantitative measures of thoroughness of FBD simulations for PLC-based digital I&C system von Lee, Dong-Ah, Kim, Eui-Sub, Yoo, Junbeom

Volltext

Quantitative measures of thoroughness of FBD simulations for PLC-based digital I C system von Dong-Ah Lee, Eui-Sub Kim, Junbeom Yoo

Volltext

An Integrated Software Testing Framework for FPGA-Based Controllers in Nuclear Power Plants von Kim, Jaeyeob, Kim, Eui-Sub, Yoo, Junbeom, Lee, Young Jun, Choi, Jong-Gyun

Volltext

NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs von Kim, Eui-Sub, Lee, Dong-Ah, Jung, Sejin, Yoo, Junbeom, Choi, Jong-Gyun, Lee, Jang-Soo

Volltext

A Preliminary Report on Static Analysis of C Code for Nuclear Reactor Protection System von Lee, Jong-Hoon, Kim, Eui-Sub, Yoo, Junbeom, Lee, Jang-Soo

Volltext

A BEHAVIOR-PRESERVING TRANSLATION FROM FBD DESIGN TO C IMPLEMENTATION FOR REACTOR PROTECTION SYSTEM SOFTWARE von Yoo, Junbeom, Kim, Eui-Sub, Lee, Jang-Soo

Volltext

APPARATUS AND METHOD FOR MODELING THREE DIMENSIONAL DESIGN FOR CYBER-PHYSICAL SYSTEM DEVELOPMENT von JUNBEOM YOO, EUI SUB KIM, MINWOO KIM

Volltext bestellen

FINGERPRINT SENSING APPARATUS AND DATA ENCRYPTION AND DECRYPTION METHOD USING FINGERPRINT SENSING APPARATUS von LIM, WOO TAEK, KIM, EUI SUB, PYUN, BAEK BUM, KIM, JAE EUN, KIM, YOUNG MIN

Volltext bestellen

VERIFICATION APPARATUS FOR VERIFYING THE IDENTITY OF PROGRAMS WRITTEN IN DIFFERENT LANGUAGES von KIM, EUI SUB, LEE, YOUNG JUN, LEE, DONG AH, YOO, JUN BEOM, CHOI, JONG GYUN

Volltext bestellen

Basic analysis of rock mechanical and thermal properties in South Korea von Chae, Byung-Gon, Park, Eui-Seob, Kim, Hyoung-Chan

Volltext

SURFACE TREATMENT DEVICE OF VERTICAL TYPE BOARD AND TREATINNG MATERIAL MANUFACTURED BY THIS von KIM, SUNG HOON, SHIN, EUI SUB

Volltext bestellen

COMPOSITE MATERIAL HAVING SUPERIOR APPEARANCE AND METHOD FOR PREPARING THE SAME von KIM, SUNG HOON, SHIN, EUI SUB

Volltext bestellen

PROTECTIVE LEATHER CASE FOR MOBILE PHONE HAVING LIGHT EMITTING MEANS USING NFC INDUCTION von KIM, KYUNG YONG, SHIN, EUI SUB

Volltext bestellen