AddSIM의 BSM 모델에 대한 동적 검증 방법론

최재웅 ,  최창범

한국경영과학회 학술대회논문집

2017 .04

모듈형 시뮬레이션 프레임워크인 AddSIM의 BSM 기반 검증 방법

양승남 ,  김도형 ,  오현식 외 3명

한국경영과학회 학술대회논문집

2018 .04

AddSIM을 활용한 무기체계 교전분석 적용

오현식 ,  김도형 ,  이상진 외 1명

한국경영과학회 학술대회논문집

2015 .04

AND/OR Graph를 활용한 AddSIM에서 요구사항 검증 기법

양지용 ,  최재웅 ,  최창범

한국경영과학회 학술대회논문집

2018 .04

기본체계모델(Base System Model) 개발을 위한 참조 모델로서 FLAMES 검토

이순주 ,  오현식

한국경영과학회 학술대회논문집

2017 .04

고해상도 공학급 모델 기반 통합 교전모의환경(AddSIM) 개발

박삼준 ,  김형준 ,  오현식 외 5명

한국경영과학회 학술대회논문집

2015 .04

IT서비스 진단평가도구의 사용의도에 영향을 미치는 요인 연구: Business Service Management Tool을 중심으로

조신 ,  최금열 ,  이중정 외 1명

Entrue Journal of Information Technology

2016 .01

DEVS 형식론 기반의 사물인터넷 객체 모델링 설계

문성환 ,  김재권 ,  김태영 외 2명

한국경영과학회 학술대회논문집

2015 .04

Runtime Verification of Analog and Mixed-Signal Circuits using DEVS models

석문기 ,  최선한 ,  이상현 외 1명

한국경영과학회 학술대회논문집

2016 .04

편대간 공대공 교전 시뮬레이션을 위한 지휘통제 모듈 설계

박찬홍 ,  권형준 ,  성윤제 외 1명

한국경영과학회 학술대회논문집

2018 .04

DEVS 모델에서의 버퍼 넘침 취약점

이해영

한국경영과학회 학술대회논문집

2017 .04

서비스 플로우 모델의 DEVS 모델 변환 방법에 대한 연구

김병수 ,  강봉구 ,  김탁곤

한국경영과학회 학술대회논문집

2015 .04

이벤트 제어 모델을 통한 DEVS 시뮬레이션 엔진의 확장성 향상

권세중 ,  최창범 ,  김탁곤

한국경영과학회 학술대회논문집

2017 .04

DEVS 형식론과 인공신경망 모델을 이용한 하둡 시뮬레이션 프레임워크

김병수 ,  김탁곤

한국경영과학회 학술대회논문집

2017 .04

OHT 운영 최적화를 위한 DEVS 기반 OCS 시뮬레이션 모델 개발

조승완 ,  박희문 ,  서경민

한국경영과학회 학술대회논문집

2023 .05

관점 지향 시뮬레이션 프레임워크를 통한 효율적인 DEVS 의미론 확장 방법론 연구

권세중 ,  최창범 ,  김탁곤

한국경영과학회 학술대회논문집

2016 .04

교전 시뮬레이션을 위한 유도무기체계 모델의 구조설계

박민수 ,  문규진 ,  유창경 외 1명

한국경영과학회 학술대회논문집

2017 .04

System Entity Structure 형식론과 Finite State Machine에 근거한 모바일 애플리케이션 요구사항 명세 기법

양지용 ,  정인호 ,  최재웅 외 1명

한국경영과학회 학술대회논문집

2017 .04

군사작전에서의 지휘통제과정 모델링 프로세스

윤우섭 ,  김태호 ,  이정만

한국국방경영분석학회지

2022 .06

공학급 모델링을 포함한 공대공 미사일 교전 시뮬레이터의 개발

나형호 ,  문일철

한국경영과학회 학술대회논문집

2023 .05