Browse "College of Engineering(공과대학)" byTypeConference

Showing results 29721 to 29740 of 80817

29721
Formal specification of a JavaScript module system

Kang, Seonghoon; Ryu, Sukyoungresearcher, ACM international conference on Object oriented programming systems languages and applications, ACM SIGPLAN, 2012-10-26

29722
Formal Specification Supporting Incremental and Flexible Agent-Based Modeling

Bae, Jangwon; Lee, Geunho; Moon, Il-Chulresearcher, 2012 Winter Simulation Conference, WSC 2012, WSC 2012, 2012-12-12

29723
Formal Verification Method for Nuclear I&C Systems using ESDT and SMV in the Software Design Phase

Song, Myung Jun; Koo, Seo Ryong; Seong, Poong-Hyunresearcher, NUTHOS-6, 2004-10

29724
Formal verification of a flash memory device driver - An experience report

Kim, Moonzooresearcher; Choi, Yunja; Kim, Yunho; Kim, Hotae, 15th International SPIN Workshop on Model Checking of Software, SPIN 2008, v.5156 LNCS, pp.144 - 159, 2008-08-10

29725
Formal verification of consistency between feature model and software architecture in software product line

Satyananda T.K.; Lee, Danhyungresearcher; Kang S., 2nd International Conference on Software Engineering Advances - ICSEA 2007, v.0, no.0, pp.0 - 0, IEEE, 2007-08-25

29726
Formal verification of consistency between feature model and software architecture in software product line

Tonny, Kurniadi Satyananda; Lee, Danhyungresearcher; Kang, Sung-Wonresearcher, International Conference on Software Engineering Advances(ICSEA 2007), IEEE, 2007-08-25

29727
Formal Verification of Robot Movements - a Case Study on Home Service Robot SHR100

Kim, Moonzooresearcher; Kang, Kyo Chul; Lee, Hyoungki, International Conference on Robotics and Automation, pp.4739 - 4744, IEEE, 2005-04-18

29728
Formalation of Dynamic Contact by Linear Complementanity

Kwak, Byung Manresearcher, pp.171 - 176, 1996-09-01

29729
Formally Specified Monitoring of Temporal Properties

Kim, Moonzooresearcher; Viswanathan, Mahesh; Abdallah, Hanene Ben; Kannan, Sampath; Lee, Insup, European Conference on Real-Time Systems, pp.114 - 122, ECRTS, 1999-06-09

29730
Formant refinement algorithm using K-means clustering

Jung, Seong-Hee; Park, Sang-Jun; Cho, Keun-Seok; Hahn, Min-Sooresearcher, 2015 International Conference on Electronics, Information and Communication, IEEE, 2015-01-30

29731
Formation and Characterization of Co-Reinforced Sn-3.5Ag Solder

Jeon, Duk Youngresearcher; Lee, JS; Chu, KM; Patzelt, R; Manessis, D; Ostmann, A, KAIST/GIST/Postech/Kyoto/Tohoku Univ. Joint Symposium, 2006

29732
Formation and characterization of cobalt-reinforced Sn-3.5Ag solder

Lee, JS; Chu, KM; Jeon, Duk Youngresearcher; Patzelt, R; Manessis, D; Ostmann, A, IEEE 56th Electronic Components and Technology Conference, pp.244 - 249, IEEE, 2006-05-30

29733
Formation and morphology control of polymeric films on an aqueous substrate for optoelectronic devices

Noh, Jonghyeon; Jeong, Seonju; Lee, Jung-Yongresearcher, A-COE 2017, KAIST (Profs. Seunghyup Yoo & Jung-Yong Lee, 2017-10-26

29734
Formation and morphology control of polymeric films on an aqueous substrate for optoelectronic devices

Lee, Jung-Yongresearcher, The 9th Asian Conference on Organic Electronics (A-COE 2017), The Polymer Society of Korea, 2017-10-25

29735
Formation and observation of ferroelectric domains in PbZr1-xTixO3(PZT) thin films using atomic force microscopy

No, Kwangsooresearcher, SPIE, SPIE, 1999-01-01

29736
Formation and optical characteristics of sol-gel derived highly oriented ferroelectric (Sr,Ba)Nb2O6 optical waveguide thin films

Koo, J; Kang, ES; Bae, Byeong-Sooresearcher, Journal of the Korean Physical Society, v.42, Journal of the Korean Physical Society, 2003

29737
Formation and stability of Pu(IV) colloids in aquatic solution

Cho, H.-R; Walther, C; Bitea, C; Seibert, A; Yun, Jong-Ilresearcher; Marquardt, C; Neck, V; et al, 6th International Conference on Nuclear and Radiochemistry (NRC-6), 2004-08

29738
Formation and Structural Analysis of Ternary Mg-UO2-CO3 Complexes using TRLFS and EXAFS

Lee, Jun Yeop; Yun, Jong Ilresearcher, 15th International Conference on the Chemistry and Migration Behaviour of Actinides and Fission Products in the Geosphere (Migration '15), LANL, KIT, 2015-09-16

29739
Formation and Validation of Two Orthogonal Concentration Gradients in Microfluidic-based Antibiotic Testing Platform

김승규; Masum, Fahim; 전성윤researcher, 2018 대한기계학회 바이오공학부문 춘계학술대회, (사)대한기계학회, 2018-04-27

29740
Formation Approach for Mobile Robots with Inaccurate Sensor Information

Kim, G. H.; Lee, Doo Yongresearcher; Lee, D. Y., International Conference on Control, Automation and Systems, pp.805 - 809, 2001-10-17

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0