Showing results 1 to 3 of 3
Composition-based verification methodology for discrete event systems = 모델 복합법을 이용한 이산사건 시스템의 검증방법론link Lee, Wan-Bok; 이완복; et al, 한국과학기술원, 2004 |
다측면으로 표현된 시스템의 모델링/시뮬레이션 환경 개발 = Development of the multifacetted system modelling/simulation environmentlink 이완복; Lee, Wan-Bok; et al, 한국과학기술원, 1995 |
모델합성 기법을 이용한 시뮬레이션 속도 개선 이완복; 김탁곤, 한국시뮬레이션학회 2002년 추계학술대회, pp.91 - 97, 한국시뮬레이션학회, 2002 |
Discover