Detailed Information
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
MSC로 기술된 통신 소프트웨어 명세의 검증을 위한 전체 상태 전이 그래프 생성
- Authors
- 신윤식; Kim, Byeong-Man
- Issue Date
- Dec-1999
- Publisher
- 한국정보과학회
- Citation
- 한국정보과학회 논문지, v.26(B), no.12
- Journal Title
- 한국정보과학회 논문지
- Volume
- 26(B)
- Number
- 12
- ISSN
- 1229-6848
- Files in This Item
- There are no files associated with this item.
- Appears in
Collections - Department of Computer Software Engineering > 1. Journal Articles
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
Related Researcher
- KIM, BYEONG MAN
- College of Engineering (Department of Computer Software Engineering)