Browse "CS-Conference Papers(학술회의논문)" by Author 37929

Showing results 3 to 5 of 5

3
스마트 기기 자율 협업 검증 프레임워크

홍광의; 임유진; 신동환; 지은경; 배두환, 2014 한국컴퓨터종합학술대회, pp.454 - 456, 한국정보과학회, 2014-06-27

4
의료 도메인 자가 적응형 시스템 정형 검증 사례연구 및 분석

임유진; 신동환; 지은경; 박지훈; 배두환, 2014 한국소프트웨어공학 학술대회, v.16, no.1, pp.15 - 22, 소프트웨어공학 소사이어티, 2014-02-13

5
타임드 오토마타 모델 기반 테스팅 기법 분석

김한석; 지은경; 배두환, 2014 한국컴퓨터종합학술대회, pp.523 - 525, 한국정보과학회, 2014-06-27

Discover

rss_1.0 rss_2.0 atom_1.0