S-Space

Browse

Subject

Showing results 1 to 8 of 8

Issue Date	Title / Author(s) / Citation	File
2003	A modeling and simulation of production process in sub-assembly lines at a shipyard 이광국	link
2004	제품의 속성변화에 따른 디자인 구성요소의 체계분석 연구 김현영	link
2007	축소 모델 차량 제작과 이를 통한 6WD6WS 차량 안정성 향상 기법의 실험적 검증 이호연	link
2008	UPPAAL을 이용한 플래시 메모리 관리 소프트웨어 검증 조영충	link
2016-08	A Modeling Methodology for Verification of High-Voltage Wordline Generator in NAND Flash Memory 이주윤	view file
2018-08	A dynamic game approach to distributionally robust safety specifications for stochastic systems Yang, Insoon Automatica, Vol.94, pp.94-101	view file DOI
2018-12	The Nexus between Diplomacy and Nuclear Science : The technical signatures of the uranium enrichment program and their implications for North Korean denuclearization Yang, Hee-Yong 통일과 평화, Vol.10 No.2, pp. 397-436	view file
2021-02	해양원전 안전해석을 위한 MARS-KS motion model의 다차원 유동 해석능력 구현 박상욱	view file link