Showing results 1 to 7 of 7
FBD 프로그램 대상 뮤테이션 기반 오류 위치 추정 기법의 활용 가능성 분석 신동환; 윤원경; 김준호; 지은경; 배두환, 2015 한국컴퓨터종합학술대회, pp.567 - 569, 한국정보과학회, 2015-06 |
FBD 프로그램 뮤테이션 기반 오류 위치 추정 기법 적용 사례연구 신동환; 김준호; 윤원경; 지은경; 배두환, 정보과학회 컴퓨팅의 실제 논문지, v.22, no.3, pp.145 - 150, 2016-03 |
Model-based system of systems verification considering selfishness = 이기성을 고려한 모델 기반 시스템 오브 시스템즈 검증 연구link Kim, Junho; Bae, Doo-Hwan; et al, 한국과학기술원, 2017 |
시스템 오브 시스템즈 대상 행동-이익-비용 모델링 및 통계적 모델 체킹 기반 속성 검증 사례 연구 김준호; 신동환; 배두환, 2016년 한국컴퓨터종합학술대회 논문집, 한국정보과학회, 2016-06-30 |
시스템 오브 시스템즈 수준의 목표 달성 검증 도구 진민규; 신동환; 김준호; 배두환, 2017 한국컴퓨터종합학술대회, 한국정보과학회, 2017-06-19 |
시스템 오브 시스템즈 수준의 목표 달성 검증을 위한 행동-이익-비용 모델과 통계적 모델 체킹 적용 연구 김준호; 신동환; 배두환, 정보과학회 컴퓨팅의 실제 논문지, v.23, no.4, pp.256 - 261, 2017 |
유향 직선 분류법에서의 효과적인 셀 분할 방법 = An effective cell division method for directed line classificationlink 김준호; Kim, Ju-No; et al, 한국과학기술원, 1999 |
Discover