추상화에 기반을 둔 실시간 항법 및 배송 시스템의 명세 및 행위적 동일성 검증을 위한 정형 기법 (Formal Method for Specification and Verification of Behavioral Equivalences of Real-time Navigation and Transportation Systems Based on Abstraction)
-
- 한국콘텐츠학회논문지
- /
- 제6권11호
- /
- pp.202-216
- /
- 2006