Detailed Information
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
Construction of Global State Transition Graph for Verifying Specifications Written in Message Sequence Charts for Telecommunications Software
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Kim, Byeong-Man | - |
| dc.date.available | 2020-04-24T15:25:28Z | - |
| dc.date.created | 2020-04-03 | - |
| dc.date.issued | 2001-02 | - |
| dc.identifier.issn | 1745-1361 | - |
| dc.identifier.uri | https://scholarworks.bwise.kr/kumoh/handle/2020.sw.kumoh/3886 | - |
| dc.title | Construction of Global State Transition Graph for Verifying Specifications Written in Message Sequence Charts for Telecommunications Software | - |
| dc.title.alternative | Construction of Global State Transition Graph for Verifying Specifications Written in Message Sequence Charts for Telecommunications Software | - |
| dc.type | Article | - |
| dc.contributor.affiliatedAuthor | Kim, Byeong-Man | - |
| dc.identifier.bibliographicCitation | Ieice Transactions on Information and Systems, v.E84-D, no.2, pp.249 - 261 | - |
| dc.citation.title | Ieice Transactions on Information and Systems | - |
| dc.citation.volume | E84-D | - |
| dc.citation.number | 2 | - |
| dc.citation.startPage | 249 | - |
| dc.citation.endPage | 261 | - |
| dc.type.rims | ART | - |
| dc.description.journalClass | 1 | - |
| dc.description.isOpenAccess | N | - |
- 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)