서울대학교 중앙도서관

S-Space 소개

My S-Space

로그인이 필요합니다.

Login

S-Space

Browse

Subject

Jump to a point in the index

Or type in a year

Sort by
In order
Results/Page
Authors/record

Showing results 1 to 10 of 10

Issue Date	Title / Author(s) / Citation	File	Altmetrics
2003	A modeling and simulation of production process in sub-assembly lines at a shipyard 이광국	link
2004	제품의 속성변화에 따른 디자인 구성요소의 체계분석 연구 김현영	link
2007	축소 모델 차량 제작과 이를 통한 6WD6WS 차량 안정성 향상 기법의 실험적 검증 이호연	link
2008	UPPAAL을 이용한 플래시 메모리 관리 소프트웨어 검증 조영충	link
2012	Carbon emissions quantification and verification strategies for large-scale construction projects Ahn, Changbum; Lee, Sanghyun; Peña-Mora, Feniosky ICSDC 2011: Integrating Sustainability Practices in the Construction Industry - Proceedings of the International Conference on Sustainable Design and Construction 2011, pp.1-8	DOI
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	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
2025	코스모스 블록체인의 트랜잭션 검증 최적화를 위한 병렬 처리 기법 반지훈	view file link

1