Browse by Title
Showing results 172661 to 172680 of 277491
| Safety Verification in Murphy using Fault Tree Analysis Cha, Sungdeok, 10th International Conference on Software Engineering, 1988 |
| Safety Verification of Ada Programs using Software Fault Trees Levenson; Cha, Sungdeok; T.J.Shimeall, IEEE SOFTWARE, v.8, no.4, pp.48 - 59, 1991-07 |
| Safety Verification of Ada95 Programs Using Software Fault Trees Min, Sang-Yoon; Jang, Yoon-Kyu; Cha, Sungdeok; Kwon, Yong-Rae; Bae, Doo-Hwan, SAFECOMP 99, pp.226 - 238, Springer Verlag (Germany), 1999 |
| Safety, Risk, Culture and Public Acceptance of Nuclear in Korea Kang, Hyun Gook, East-west Youth Cooperation Seminar, 2001 |
| Safety-critical Software Requirements Checking Using PVS. 차성덕, 한국정보과학회 춘계학술대회 발표논문집, pp.595 - 598, 1997 |
| Safety-ensuring systematic design for service robots Pyung-Hun Chang, The 6th International Conference on Smart Homes and Health Telematics(ICOST), pp.208 - 217, 123, 2008-06-29 |
| Safety-Guaranteed Flight Test Environment for Micro Air Vehicles Lee, Dong Kyu; Han, Jae-Hung, AIAA JOURNAL, v.54, no.3, pp.1014 - 1025, 2016-03 |
| Safety-guranteed Flight Test Environment for Micro Air Vehicles Lee, Dong Kyu; Han, Jae Hung, 2015 AIAA Science and Technology Forum and Exposition, American Institute of Aeronautics and Astronautics Inc, AIAA, 2015-01-05 |
| SafetyCube: Framework for potential pedestrian risk analysis using multi-dimensional OLAP Noh, Byeongjoon; Yeo, Hwasoo, ACCIDENT ANALYSIS AND PREVENTION, v.155, 2021-06 |
| SafetyNet: Interference Protection via Transparent PHY Layer Coding Yin, Zhimeng; Jiang, Wenchao; Liu, Roufeng; Kim, SongMin; He, Tian, 40th IEEE International Conference on Distributed Computing Systems, ICDCS 2020, IEEE, 2020-11-29 |
| SAFEWAPI: Web API Misuse Detector for Web Applications Bae, SungGyeong; Cho, Hyunghun; Lim, Inho; Ryu, Sukyoung, The 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014), ACM Special Interest Group on Software Engineering (SIGSOFT), 2014-11-19 |
| SAF를 위한 자동계획기법 구현 사례 김정윤; 최대회; 이상진; 정성훈, 한국시뮬레이션학회 논문지, v.23, no.4, pp.171 - 180, 2014-12 |
SAGA DUBm-mediated surveillance regulates prompt export of stress-inducible transcripts for proteostasis Kim, Minhoo; Choi, Yoonjung; Kim, Harim; Lee, Daeyoup, NATURE COMMUNICATIONS, v.10, pp.2458, 2019-06 |
| SAGA regulates mRNA quality control and export for proteostasis Lee, Daeyoup, The 27th international KOGO annual conference, pp.47, Korea Genome Organization, 2018-09-06 |
| Sageflow: Robust Federated Learning against Both Stragglers and Adversaries PARK, JUNGWUK; Moon, Jaekyun; HAN, DONGJUN; Choi, Minseok, Thirty-fifth Conference on Neural Information Processing Systems (NeurIPS), Neural Information Processing Systems Foundation, 2021-12-08 |
| Sagnac interferometer based sensor array with stable pi/2 phase bias Kim, Byoung Yoon, OFS 2000, pp.3 - 18, OFS, 2000-10-01 |
| Sagnac interferometer based sensor array with stable π/2 phase bias Han, KH; Lee, WJ; Kim, Byoung Yoon, 14th International Conference on Optical Fiber Sensors, v.4185, pp.752 - 755, 2000-10-11 |
| Sagnac interferometric sensor array for acoustic sensing and method of detecting acoustic signals Kim, Byoung Yoon; Lee, Wang Joo; Han, Ki Ho |
| Sagnac 루프 반사경을 이용한 광섬유 레이저 자이로스코우프에서 모드록킹된 펄스의 편광 가역성 연구 = Polarization reciprocity of mode locked fiber laser gyroscope with sagnac loop mirrorlink 정호진; Jeong, Ho-Jin; et al, 한국과학기술원, 1996 |
| Sagnac-interferometry-based digital optical phase conjugation (DOPC) system for turbidity suppression Hillman, T.R.; Park, YongKeun; Yaqoob, Z.; Choi, W.; Fu, D.; Yamauchi, T.; Dasari, R.R.; et al, Three-Dimensional and Multidimensional Microscopy: Image Acquisition and Processing XVIII, v.7904, 2011-01-24 |
Discover
Type
Open Access
Date issued
- 1 2040 - 2041
- 32,413 2020 - 2029
- 100,044 2010 - 2019
- 75,673 2000 - 2009
- 44,727 1990 - 1999
- 1,633 1970 - 1979
- 62 1964 - 1969