상세 보기
Construction of Global State Transition Graph for Verifying Specifications Written in Message Sequence Charts for Telecommunications Software
Construction of Global State Transition Graph for Verifying Specifications Written in Message Sequence Charts for Telecommunications Software
- 제목
- Construction of Global State Transition Graph for Verifying Specifications Written in Message Sequence Charts for Telecommunications Software
- 제목 (타언어)
- Construction of Global State Transition Graph for Verifying Specifications Written in Message Sequence Charts for Telecommunications Software
- 저자
- Kim, Byeong-Man
- 발행일
- 2001-02
- 저널명
- Ieice Transactions on Information and Systems
- 권
- E84-D
- 호
- 2
- 페이지
- 249 ~ 261
- 분량
- 13 페이지
- ISSN
- P 1745-1361