S-Space

Browse

Subject

Showing results 1 to 8 of 8

Issue Date	Title / Author(s) / Citation	File
2001	An Integral approach for verification, validation and testing of safety-critical software for nuclear reactor protection systems 이나영	link
2004	제품의 속성변화에 따른 디자인 구성요소의 체계분석 연구 김현영	link
2004	Multi-source spatial data fusion with geostatistical uncertainty assessment : applications to landslide susceptibility analysis and land-cover classification 박노욱	link
2007	축소 모델 차량 제작과 이를 통한 6WD6WS 차량 안정성 향상 기법의 실험적 검증 이호연	link
2008	UPPAAL을 이용한 플래시 메모리 관리 소프트웨어 검증 조영충	link
2012-02	마르크스 이론은 반증가능하지 않은가? －포퍼 논의에 대한 비판적 고찰－ 김진숙 철학사상, Vol.43, pp. 191-217	view file
2016-08	가이드라인 실행가능성 평가도구 (GLIA) 한국어버전 개발 및 검증 연구 류주희
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