KOASAS

Kim, Moonzoo; Viswanathan, M; Kannan, S; Lee, I; Sokolsky, O, FORMAL METHODS IN SYSTEM DESIGN, v.24, pp.129 - 155, 2004-03

Kim, Moonzoo; Kannan, S.; Lee, I.; Sokolsky, O., Runtime Verification, pp.218 - 235, Runtime Verification, 2001-07-23

김철기; Kim, Cheol-Gi; et al, 한국과학기술원, 1998

김동준; 장기훈, KCC 2013 한국컴퓨터종합학술대회, 한국정보과학회, 2013-06-26

Ryu, Sukyoung; Park, Jihyeok, COMMUNICATIONS OF THE ACM, v.67, no.5, pp.86 - 95, 2024-05

Cho, Junhee; Ryu, Sukyoung, 13th International Conference on Modularity, MODULARITY 2014 (Formerly AOSD), pp.229 - 240, Association for Computing Machinery, 2014-04-24

Park, Jihyeok; Ryu, Sukyoung; et al, 한국과학기술원, 2022

곽병진; 백윤석; 이경규; 고학수, 경영교육연구, v.12, no.1, pp.129 - 143, 2008-08

Min, KyoungWook, ASTROPHYSICS AND SPACE SCIENCE, v.145, no.1, pp.167 - 169, 1988-06

Vilar, Vitor J. P.; Fatta-Kassinos, Despo; Lim, Teik Thye; Lee, Yunho; Palmisano, Giovanni; Zhang, Xiwang; Shih, Kaimin; et al, JOURNAL OF ENVIRONMENTAL CHEMICAL ENGINEERING, v.11, no.3, 2023-06

Lee, Joon-Woo; Lee, Joon-Yong; Lee, Ju-Jang, IEEE Wireless Communications Letters, v.2, no.1, pp.34 - 37, 2013-02

이정익, 2014

Kim, Donghoon; Shin, Jae-Uk; Kim, Hyongjin; Lee, Donghwa; Lee, Seung-Mok; Myung, Hyun, International Conference on Humanized Systems (ICHS), International Committee on Humanized Systems, 2012-08

한재윤; Han, Jae-Yoon; et al, 한국과학기술원, 1997

Park, Jihyeok; An, Seungmin; Youn, Dongjun; Kim, Gyeongwon; Ryu, Sukyoung, 43rd IEEE/ACM International Conference on Software Engineering - Software Engineering in Practice (ICSE-SEIP) / 43rd ACM/IEEE International Conference on Software Engineering - New Ideas and Emerging Results (ICSE-NIER), pp.13 - 24, IEEE COMPUTER SOC, 2021-05

Choe, Jeong-Woo; 최정우; et al, 한국과학기술원, 1982

Kim, Joonghyuk; Oh, Hyuncheol; Kim, Sang Soo, AAAR27th Annual Conference, The American Association for Aerosol Research(AAAR), 2008-10-20

김동우; 장용근; et al, 한국과학기술원, 2018

Ji, Chung-Ryong; 지청룡; et al, 한국과학기술원, 1982

Yoon, Jongwoong; Jeong, Yong Hoon; et al, 한국과학기술원, 2022