Browse by Title
Showing results 171361 to 171380 of 275604
| SAFERPHP: Finding Semantic Vulnerabilities in PHP Applications Son, Sooel; Shmatikov, Vitaly, Programming Languages and Analysis for Security, PLAS, The ACM Special Interest Group on Programming Languages (SIGPLAN), 2011-06-05 |
| Safety activities on safety-critical software for reactor protection system Park, G.-Y.; Kwon, K.C.; Jee, E.; Koh, K.Y.; Seong, Poong-Hyun, TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, v.96, no.0, pp.237 - 238, 2007 |
| Safety analyses of Kaist Micro modular reactor with modified Gamma+ code Oh, Bong-seong; Lee, Jeong-Ik; Kim, Seong Gu; Yu, Hwanyeal; Moon, Jangsik; Kim, Yonghee; Jeong, Yong Hoon, 17th International Topical Meeting on Nuclear Reactor Thermal Hydraulics, NURETH 2017, Association for Computing Machinery, Inc, 2017-09 |
| Safety analysis and development of control logic of KAIST Micro Modular Reactor with GAMMA+ code = GAMMA+ 코드를 이용한 초소형 모듈원전의 안전해석 및 제어논리 개발link Oh, Bong Seong; Lee, Jeong Ik; et al, 한국과학기술원, 2017 |
| Safety analysis of 250-kW philippine research reactor-1 thermal-hydraulics under steady-state operations using MARS-KS code Jecong, J.F.M.; Astronomo, A.A.; Hila, F.C.; Guillermo, N.R.D.; Woo, S.W., Philippine Journal of Science, v.150, no.2, pp.407 - 415, 2021 |
| Safety Analysis of Compacted Spent Fuel with Natural Convection Flow Lee, Kun Jai, ENS/ANS Transactions (ENC 86), pp.741 - 746, 1986 |
| Safety analysis of compacted spent fuel with natural convection flow = 자연 대류시 밀집된 사용후 핵연료 저장조에서의 안전성 분석link Lee, Chang-Ju; 이창주; et al, 한국과학기술원, 1986 |
| Safety Analysis of Computer-Controlled Real-Time Systems with Message Loss Using Communicating DEVS Models Song, H.; Kim, Tag-Gon, AsiaSim 2012, Part I, Communications in Computer and Information Science, pp.480 - 489, AsiaSim, 2012-10 |
| Safety analysis of function block diagrams using fault trees = Fault tree 기법을 이용한 function block diagram 의 안전성 분석link Oh, You-Ju; 오윤주; et al, 한국과학기술원, 2004 |
| Safety analysis of hybrid real-time system requirements using qualitative models = 정성 모델을 이용한 복합 실시간 계통 요구사항의 안전성 분석link Lee, Jang-Soo; 이장수; et al, 한국과학기술원, 2002 |
| Safety analysis of LOCA, transients and tritium permeation in hydrogen production HTGR : 수소 생산 고온 가스로의 LOCA, 천이 및 삼중수소 투과에 대한 안전해석연구 = 수소 생산 고온 가스로의 LOCA, 천이 및 삼중수소 투과에 대한 안전해석연구link , 한국과학기술원, 2012 |
| Safety analysis of safety-critical software for nuclear digital protection system Park G.-Y.; Lee J.-S.; Cheon S.-W.; Kwon K.-C.; Jee, Eunk Young; Koh K.Y., 26th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2007, v.4680, pp.148 - 161, 2007-09-18 |
| Safety Analysis of VHTRs with MED Desalination Plants No Hee Cheon; Kim, Ho Sik; Jin, Hyung Gon, American Nuclear Society, 2010-06 |
| Safety Analysis of VHTRs with MED Desalination Plants No, Hee Cheon; Kim, Ho Sik; Jin, Hyung Gon, American Nuclear Society, v.104, 2011-06 |
| Safety Analysis Using Coloured Petri Nets 차성덕, 한국정보과학회 추계학술대회, pp.1415 - 1418, 1995 |
| Safety Analysis Using Coloured Petri Nets Cho, Seung Mo; Hong, Hyoung Seok; Cha, Sungdeok, Asia-Pacific Software Engineering Conference, pp.176 - 183, IEEE, 1996-12-04 |
| Safety and Control Standards for Hydrogen Ships: Cargo Handling and Fuel Gas Supply Systems Jung, Wongwan; Chang, Daejun, UT-SJTU-KAIST Joint symposium, Korea Advanced Institute of Science and Technology, 2020-10-30 |
| Safety and efficacy evaluations of an adeno-associated virus variant for preparing IL10-secreting human neural stem cell-based therapeutics Choi, Mira; Jung, Kwangsoo; Kim, Seung-Hyun; Kim, Il-Sun; Kim, Miri; Shin, Mikyung; Lee, Haeshin; et al, GENE THERAPY, v.26, no.5, pp.135 - 150, 2019-05 |
| Safety and immunogenicity of two recombinant DNA COVID-19 vaccines containing the coding regions of the spike or spike and nucleocapsid proteins: an interim analysis of two open-label, non-randomised, phase 1 trials in healthy adults Ahn, Jin Young; Lee, Jeongsoo; Suh, You Suk; Song, Young Goo; Choi, Yoon-Jeong; Lee, Kyoung Hwa; Seo, Sang Hwan; et al, LANCET MICROBE, v.3, no.3, pp.E173 - E183, 2022-03 |
| Safety and performance enhanced boehmite-coupled polyethylene nanocomposite separator for lithium-ion batteries by synergetic effects of silane treatment and electron irradiation Lee, Sang Yoon; Lee, Ju Hyuk; Lee, Jaewoo; Kim, Sungwoo; Cho, Sung Oh, JOURNAL OF POWER SOURCES, v.560, 2023-03 |
Discover
Type
Open Access
Date issued
- 30,917 2020 - 2024
- 100,009 2010 - 2019
- 75,681 2000 - 2009
- 44,727 1990 - 1999
- 14,360 1980 - 1989
- 62 1964 - 1969