DSpace at KOASAS
Browsing DSpace

Browse "Dept. of Nuclear and Quantum Engineering(원자력및양자공학과)" by Author Jee, EK

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 2 of 2

1
A Formal Verification Method of Function Block Diagrams with Tool Supporting : Practical Experiences

Koh, KY; Jee, EK; Jeon, SJ; Seong, Poong-Hyun; Cha, SD, the 19th International DAAAM Symposium, 2008-10-25

2
A Systematic Approach to Safety Verification of Function Block Diagrams

Koh, KY; Seong, Poong-Hyun; Jee, EK; Cha, SD; Park, GY, ISSNP2008, 2008-09-20

Discover

Type

Open Access

Date issued

Subject

. next

rss_1.0 rss_2.0 atom_1.0