Browse "School of Electrical Engineering(전기및전자공학부)" by Author 홍기정
Showing results 1 to 6 of 6
| DEVS 형식론을 기반으로 한 Workflow 관리 시스템 개발 홍기정; 이종권; 김탁곤, 한국시뮬레이션학회 춘계학술대회, pp.174 - 179, 한국시뮬레이션학회, 2000-04 |
| Discrete event model verification methodology using system morphism = 시스템 사상성을 이용한 이산사건 모델 검증 방법론link Hong, Ki-Jung; 홍기정; et al, 한국과학기술원, 2005 |
| 가상 PLC 자동생성 환경구현 = An implementation of the framework for automatic generation of virtual PLClink 홍기정; Hong, Kee-Jeong; et al, 한국과학기술원, 1997 |
| 관계대수를 이용한 이산사건 시스템 모델링 홍기정; 김탁곤, 한국 시뮬레이션 학회, pp.237 - 241, 한국시뮬레이션학회, 1999-04 |
| 시스템 Morphism을 이용한 이산사건 시스템의 검증 홍기정; 김탁곤, 한국 시뮬레이션 학회 '00추계학술대회, pp.11 - 15, 한국시뮬레이션학회, 2000-11 |
| 이산사건모델들간의 통신을 위한 동기화 가능성 분석 홍기정; 김탁곤, 한국시뮬레이션학회 춘계학술대회, pp.185 - 190, 한국시뮬레이션학회, 2003-06 |
Discover
Open Access
- 573 OA Article
Date issued
- 5,421 2020 - 2024
- 18,944 2010 - 2019
- 15,019 2000 - 2009
- 7,644 1990 - 1999
- 2,391 1980 - 1989