관점 지향 프로그래밍이 내장된 DEVS 형식론 기반 소프트웨어 정형 검증 방법론Software Formal Verification Methodology Based on DEVS Formalism Instrumented with Aspect Oriented Programming
- Publisher
- 한국시뮬레이션학회
- Issue Date
- 2009-05
- Language
- KOR
- Citation
한국시뮬레이션학회 춘계학술대회
- Appears in Collection
- EE-Conference Papers(학술회의논문)
- Files in This Item
- CD-36.pdf(1.1 MB)Download
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.