Showing results 2 to 5 of 5
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