한국시뮬레이션학회:학술대회논문집 (Proceedings of the Korea Society for Simulation Conference)

한국시뮬레이션학회 (The Korea Society for Simulation)
권호 표지

시스템 Morphism을 이용한 이산사건 시스템의 검증

Homomorphic Verification of Hierarchical DEVS Model at Structure Level

  • 홍기정 (한국과학기술원 전자전산학과 시스템 모델링 시뮬레이션 연구실) ;
  • 김탁곤 (한국과학기술원 전자전산학과 시스템 모델링 시뮬레이션 연구실)
  • 발행 : 2000.11.01
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

키워드