Showing results 1 to 6 of 6
Composition-based verification methodology for discrete event systems = 모델 복합법을 이용한 이산사건 시스템의 검증방법론link Lee, Wan-Bok; 이완복; et al, 한국과학기술원, 2004 |
Decentralized supervisory control of discrete event dynamic systems = 이산사건 시스템의 분산관리제어 이론link Kim, Seong-Gyu; 김성규; et al, 한국과학기술원, 2003 |
DEVS 기반의 실시간 워게임 시뮬레이션을 위한 저장 및 복구 방법론 = Save/Restore methodology for DEVS-based real-time wargame simulationlink 이창섭; Lee, Chang-Seob; et al, 한국과학기술원, 2006 |
Implementation of distributed problem solving framework based on discrete event system specification = 이산사건 시스템 형식론에 기초한 분산문제해결 방법론의 구현link Kim, Heung-Bum; 김흥범; et al, 한국과학기술원, 1997 |
고속 열처리 공정기를 위한 내고장성 관리제어기의 설계 = Design of fault tolerant supervisor for rapid thermal processorslink 정근표; Chung, Kun-Pyo; et al, 한국과학기술원, 1998 |
모델링 및 시뮬레이션을 통한 미래 보병 정찰소대 운용방안 제안 = Suggestion for operation method of an infantry reconnaissance platoon on the future battlefield via modeling and simulationlink 방승호; Bang, Seungho; et al, 한국과학기술원, 2015 |
Discover