Browse "College of Engineering(공과대학)" by Type Conference
Showing results 60801 to 60820 of 90929
| SAT-based Bounded Software Model Checking for Embedded Software: A Case Study Kim, Yun-Ho; Kim, Moonzoo, Asian-Pacific Software Engineering Conference (APSEC), pp.55 - 62, Asian-Pacific Software Engineering Conference (APSEC), 2014-12-02 |
| SAT-based unbounded symbolic model checking Kang, H.-J.; Park, In-Cheol, Proceedings of the 40th Design Automation Conference, pp.840 - 843, 2003-06-02 |
| Satefy Verification of Ada95 Programs Using Software Fault Trees Kwon, Yong Rae, Safecom 99, 1999 |
| Satellite Attitude Acquisition Using Dual Star Sensors with a Bootstrap Filter Cho, S.; Chun, Joohwan, First IEEE International Conference on Sensors - IEEE Sensors 2002, v.1, no.2, pp.1723 - 1727, 2002-06-12 |
| Satellite Formation Flying using Low Thrusters and Solar Sail Lim, Yeerang; Bang, Hyo-Choong, 2014 Asia-Pacific international Symposium on Aerospace Technology(APISAT), CSAA, 2014-09-24 |
| Satellite Laser Ranging(SLR) using a Femtosecond Pulse Laser Jin, Jong-Han; Lee, SH; KIM, Young-Jin; Kim, Seung-Woo, The 3rd PRC(China)-ROK(Korea) SLR Workshop, KAIST, 2007-03 |
| Satellite Laser Ranging(SLR) using a Femtosecond Pulse Laser Jin, Jong-Han; Lee, SH; KIM, Young-Jin; Kim, Seung-Woo, The 3rd PRC(China)-ROK(Korea) SLR Workshop, 2006, The 3rd PRC(China)-ROK(Korea) SLR Workshop, 2006, 2006-05 |
| Satellite Map based Quantitative Analysis for 3D World Modeling of Urban Environments Chung, Myung Jin; Roh, Hyun Cheol; Oh, Tak Jun; Choe, Yun Geun, Asian Control Conference (ASCC2013), Asian Control Council, 2013-06-24 |
| Satellite orbit determination using a magnetometer-based bootstrap filter Kim, S; Chun, Joohwan, 2000 American Control Conference, pp.792 - 793, ACC, 2000-06-28 |
| Satellite orbit determination using GPS measurement Woo, H.W.; Tahk, Min-Jea; Jin, I.M.; Kim, J.C., Asia-Pacific Conference on Multilateral Corporation in Space Technology and Applications, 1996-05 |
| Satellite research and development in Korea Lee, In Won; Lee J.-J.; Choi J.-M., 3rd International Conference on Recent Advances in Space Technologies, RAST 2007, pp.1 - 4, 2007-06-14 |
| Satellites Anomalous Behavior Estimation through Statistical Features of Telemetry and Fuzzy Reasoning Yang, Seung-Eun; Kwon, Dong-Soo, The International Conference of Women Scientists and Engineers conference on BT, IT, ET and NT, The Association of Korean Woman Scientists & Engineers, 2017-09-01 |
| Satisfaction-based handover control algorithm for multimedia services in heterogeneous wireless networks Lee, J.M.; Yang, O.S.; Choi, S.G.; Choi, JunKyun, 21st International Conference on Information Networking, ICOIN 2007, pp.50 - 59, 2007-01-23 |
| SATM 다중화기의 성능분석 성단근; 김승환; 박진수, 한국통신학회추계학술대회, 한국통신학회, 1991 |
| Saturation measurements of excited state transitions in noble gases using the optogalvanic effect Chung, Yun Chur; Lucero, AJ; Reilly, S; Tkach, RW, International Quantum Electronics Conference, 1990 |
| SAW characteristics of AlN films deposited on various substrates using ECR plasma enhanced CVD and reactive RF sputtering Soh, Ju-Won; Lee, Won-Jong; Park, Jang-Ho; Lee, Soong-Won, 1996 IEEE Ultrasonics Symposium. Part 2 (of 2), v.1, pp.299 - 302, 1996-11-03 |
| Sawtooth burst mode control with minimum peak current in stand-by operation of power supply Kim, Bong Chul; Park, Ki Bum; Moon, GunWoo, Power Electronics and ECCE Asia (ICPE & ECCE), 2011 IEEE 8th International Conference on , pp.474 - 479, IEEE, 2011-06-01 |
| SAXS and SANS Investigations of Single-Walled Carbon Nanotube Induced Lyotropic Phase Behavior of a Polymeric System Choi, Sung Min; Jang, Hyung Sik; Do, Chang Woo; Kim, Tae Hwan, The 15th International Small Angle Scattering Conference 2012, ANSTO, 2012-11 |
| SAXS Studies on Hierarchical Assemblies of Functionalized Carbon Nanotubes Kim, Tae Hwan; Choi, Sung Min; Lim, Seong Hwan; Ha, Jae Min; Kang, Shin Hyun; Do, Chang Woo; Lee, Min Jae; et al, 제24차 방사광이용자연구발표회, 포항가속기연구소, 2012-10 |
| SBAS 신호 단절 상황에서의 반송파 기반 코스팅 기법 성능 평가 최필훈; 김민찬; 이철수; 부성춘; 이기훈; 이지윤, 2018 항법시스템학회 정기학술대회, 항법시스템학회, 2018-11-09 |
Discover
Open Access
Date issued
- 22,912 2020 - 2024
- 75,357 2010 - 2019
- 57,250 2000 - 2009
- 30,842 1990 - 1999
- 9,025 1980 - 1989