MSC로 기술된 통신 소프트웨어 명세의 검증을 위한 전체 상태 전이 그래프 생성
DC Field | Value | Language |
---|---|---|
dc.contributor.author | 신윤식 | - |
dc.contributor.author | Kim, Byeong-Man | - |
dc.date.available | 2020-04-24T15:25:40Z | - |
dc.date.created | 2020-04-03 | - |
dc.date.issued | 1999-12 | - |
dc.identifier.issn | 1229-6848 | - |
dc.identifier.uri | https://scholarworks.bwise.kr/kumoh/handle/2020.sw.kumoh/3938 | - |
dc.publisher | 한국정보과학회 | - |
dc.title | MSC로 기술된 통신 소프트웨어 명세의 검증을 위한 전체 상태 전이 그래프 생성 | - |
dc.type | Article | - |
dc.contributor.affiliatedAuthor | 신윤식 | - |
dc.contributor.affiliatedAuthor | Kim, Byeong-Man | - |
dc.identifier.bibliographicCitation | 한국정보과학회 논문지, v.26(B), no.12 | - |
dc.citation.title | 한국정보과학회 논문지 | - |
dc.citation.volume | 26(B) | - |
dc.citation.number | 12 | - |
dc.type.rims | ART | - |
dc.description.journalClass | 2 | - |
dc.description.isOpenAccess | N | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
350-27, Gumi-daero, Gumi-si, Gyeongsangbuk-do, Republic of Korea (39253)054-478-7170
COPYRIGHT 2020 Kumoh University All Rights Reserved.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.