Design and Implementation of a Support Environment for Communication Software Development based on Formal Methods (형식적 방법론을 이용한 통신 소프트웨어 개발 지원 환경의 설계와 구현)
-
- The Transactions of the Korea Information Processing Society
- /
- v.5 no.6
- /
- pp.1537-1551
- /
- 1998