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