Browse "School of Computing(전산학부)" by Author 37929
Showing results 1 to 5 of 5
| FBD 프로그램 대상 뮤테이션 기반 오류 위치 추정 기법의 활용 가능성 분석 신동환; 윤원경; 김준호; 지은경; 배두환, 2015 한국컴퓨터종합학술대회, pp.567 - 569, 한국정보과학회, 2015-06 |
| SCADE를 이용한 멀티 에이전트 시스템 설계 사례연구 및 분석 채철우; 신동환; 지은경; 홍광의; 배두환, 2014 한국정보과학회 제41회 정기총회 및 동계학술발표회, pp.399 - 401, 한국정보과학회, 2014-12-18 |
| 스마트 기기 자율 협업 검증 프레임워크 홍광의; 임유진; 신동환; 지은경; 배두환, 2014 한국컴퓨터종합학술대회, pp.454 - 456, 한국정보과학회, 2014-06-27 |
| 의료 도메인 자가 적응형 시스템 정형 검증 사례연구 및 분석 임유진; 신동환; 지은경; 박지훈; 배두환, 2014 한국소프트웨어공학 학술대회, v.16, no.1, pp.15 - 22, 소프트웨어공학 소사이어티, 2014-02-13 |
| 타임드 오토마타 모델 기반 테스팅 기법 분석 김한석; 지은경; 배두환, 2014 한국컴퓨터종합학술대회, pp.523 - 525, 한국정보과학회, 2014-06-27 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,745 2020 - 2024
- 5,391 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989