Browse by Title
Showing results 195381 to 195400 of 278092
| Testability of Safety Software Based on Specification in Statechart Sohn, Se-do; Seong, Poong-Hyun; Kim, Hang-bae; Han, Heehwan, International Conference on Nuclear Technology: Achieving Global Economic Growth While Safeguarding the Environment, pp.199, International Conference on Nuclear Technology, 2003-11-16 |
| Testing and analysis of downscaled composite wing box Kong, CW; Park, JS; Cho, JH; Hong, Chang Sun; Kim, Chun-Gon, JOURNAL OF AIRCRAFT, v.39, no.3, pp.480 - 485, 2002-05 |
| Testing and performance of UFFO burst alert & trigger telescope Řípa, Jakub; Kim, Min Bin; Lee, Jik; Park, Il Huang; Kim, Ji Eun; Lim, Heuijin; Jeong, Soomin; et al, 10th Conference on Swift, SWIFT 2014, Proceedings of Science (PoS), 2014-12 |
| Testing branch-width Oum, Sang-il; Seymour, P, JOURNAL OF COMBINATORIAL THEORY SERIES B, v.97, no.3, pp.385 - 393, 2007-05 |
| Testing Concurrent Programs to Achieve High Synchronization Coverage Hong, Shin; Ahn, Jaemin; Park, Sangmin; Kim, Moonzoo; Harrold, Mary-Jean, International Symposium on Software Testing and Analysis, ACM, 2012-07-18 |
| Testing digital safety system software with a testability measure based on a software fault tree Sohn, SD; Seong, Poong-Hyun, RELIABILITY ENGINEERING & SYSTEM SAFETY, v.91, no.1, pp.44 - 52, 2006-01 |
| Testing for chaos in stock return volatility: an application of R/S analysis to the Korean stock market Park, Cheol soo; Han, Ingoo, 한국전문가시스템학회 '97 춘계학술대회, no.1, pp.267 - 279, Korea Intelligent Information Systems Society, 1997-06 |
| Testing for chaos in stock volatility using the rescaled range analysis Han, Ingoo, The 4th World Congress on Expert Systems, The 4th World Congress on Expert Systems, 1998-03 |
| Testing for interactions of unbalanced case using analysis of means = 불균형 관측치 경우에 대한 평균분석을 이용한 교호작용 검정link Jung, Kang-Mo; 정강모; et al, 한국과학기술원, 1989 |
| Testing for Unit Roots in Seasonal Time Series Jaesun Noh, JOURNAL OF ECONOMETRICS, v.62, no.2, pp.415 - 442, 1994-05 |
| Testing for Verification and Validation of COMS Satellite Kim, Hyung Wan; Ahn, Jae Myung, Asia-Pacific Conference on Systems Engineering, 한국시스템엔지니어링학회, 2015-10-13 |
| Testing intermediate representation for binary analysis = 바이너리 분석 용 중간 언어 점검link Kim, Soomin; Cha, Sang Kil; et al, 한국과학기술원, 2018 |
| Testing Intermediate Representations for Binary Analysis Kim, Soomin; Faerevaag, Markus; Jung, Minkyu; Jung, Seungil; Oh, DongYeop; Lee, JongHyup; Cha, Sang Kil, 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), pp.353 - 364, IEEE Computer Society and ACM SIGSFOT, 2017-11-03 |
| Testing J/Psi production mechanisms in B-->J/Psi + X Ko, Pyungwon; J.Lee; H.S.Song, JOURNAL OF THE KOREAN PHYSICAL SOCIETY, v.34, no.3, pp.301 - 305, 1999-03 |
| Testing method of off-axis parabolic cylinder mirror for FIMS Ryu, K.S.; Edelstein, J.; Song, J.B.; Lee, Y.W.; Chae, J.S.; Seon, K.I.; Yuk, I.S.; et al, Advanced Optical Manufacturing and Testing Technology 2000, pp.312 - 319, SPIE, 2000-11-01 |
| Testing methods for SDL systems b.m. chin; Chon, Kil-Nam, COMPUTER NETWORKS AND ISDN SYSTEMS, v.28, no.12, pp.1669 - 1683, 1996 |
| Testing Methods for SDL Systems Chon, Kil Nam, SDL Forum, 1995 |
Testing of a femtosecond pulse laser in outer space Lee, Joohyung; Lee, Keunwoo; Jang, Yoon-Soo; Jang, Heesuk; Han, Seongheum; Lee, Sang Hyun; Kang, Kyung-In; et al, SCIENTIFIC REPORTS, v.4, 2014-05 |
| Testing of adapted components using mutation techniques = 변용 컴포넌트를 위한 뮤테이션 테스팅 기법link Ma, Yu-Seung; 마유승; et al, 한국과학기술원, 2000 |
| Testing of Concurrent Programs After Specification Changes Chung, In Sang; Kim, Hyeon Soo; Bae, Hyun Seop; Kwon, Yong Rae; Lee, Dong Gil, International Conference on Software Maintenance (ICSM '99), pp.199 - 208, IEEE, 1999 |
Discover
Type
Open Access
Date issued
- 32,991 2020 - 2024
- 100,065 2010 - 2019
- 75,675 2000 - 2009
- 44,727 1990 - 1999
- 14,360 1980 - 1989
- 62 1964 - 1969