DSpace at KOASAS
College of Engineering(공과대학)Dept. of Nuclear and Quantum Engineering(원자력및양자공학과)

NE-Conference Papers(학술회의논문)

Search for

Recent Items

rss_1.0 rss_2.0 atom_1.0

Collection's Items (Sorted by Submit Date in Descending order): 5601 to 5611 of 5611

5601
A Study on the Non-Heating Simulation ofPool Boiling CHF on Flat Plates

Jeong, Yong Hoon; Baek, Won-Pil; Chang, Soon-Heung, 한국원자력학회 추계학술발표대회, 한국원자력학회, 2000-10-26

5602
A Study on the Non-Heating CHF Experiments Using Drilled Plates

Jeong, Yong Hoon; Baek, Won-Pil; Chang, Soon-Heung, 한국원자력학회 춘계학술발표대회, 한국원자력학회, 1999-05-28

5603
Reliability Analysis of the Reactor Protection System Using Markov Processes

Cho, Nam-Zin, Nuclear Engineering and Technology, v.19, no.4, pp.279 - 291, Korean Nuclear Society, 1987-12

5604
High sensitivity inductive sensing system for position measurement

Choi, Dong-june; Rim, Chuntaek; Kim, Soohyun; Kwak, Yoon Keun, IMTC/2000 - 17th IEEE Instrumentation and Measurement Technology Conference 'Smart Connectivity: Integrating Measurement and Control', pp.595 - 599, IEEE, 2000-05-01

5605
Environmental Fatigue Behaviors of SA508 Gr.1a Low Alloy Steel in 310oC Deoxygenated Water

Jang, Changheui, Key Engineering Materials, pp.1039 - 1042, Trans Tech Publications Ltd., 2007-06

5606
A hybrid framework of worst-case execution time analysis for real-time embedded system software

Lee J.-I.; Park S.-H.; Bang H.-J.; Kim T.-H.; Cha, Sungdeok, 2005 IEEE Aerospace Conference, v.2005, IEEE, 2005-03-05

5607
Software design specification and analysis technique for the safety critical software based on Programmable Logic Controller (PLC)

Koo, S.R.; Seong, Poong-Hyun; Cha, Sungdeok, Proceedings - Eighth IEEE International Symposium on High Assurance Systems Engineering, pp.283 - 284, IEEE, 2004-03-25

5608
Detecting common mode failures in N-version software using weakest precondition analysis

Yoon Gwang Sik; Cha, Sungdeok; Kwon, Yong Rae; Yoo Chan Hyoung, Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC, pp.272-280, 1997-12-02

5609
Behavior Verification of Hybrid Real-time Requirements by Qualitative Formalism

Lee, Jang-Soo; Cha, Sungdeok, Real-Time Computing Systems and Applications, pp.127 - 134, IEEE, 1997-10-27

5610
Specification and analysis of real-time systems in statecharts

Cha, Sungdeok; Hong Hyoung Seok, Proceedings of the 1996 2nd Workshop on Object-Oriented Real-Time Dependable Systems, pp.137 - 143, IEEE, 1996-02-01

5611
Link Capacity Allocation and Network Control by Filtered Input Rate in High-speed Networks

Li, S; Chong, Song; Hwang, CL, IEEE ACM Transactions on Networking, pp.10 - 25, IEEE, 1995-02-01

Discover

rss_1.0 rss_2.0 atom_1.0