오토마타기반의 병행 프로그램을 위한 결정적 수행 테스팅 기법
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Kim, Byeong-Man | - |
dc.date.available | 2020-04-24T15:25:23Z | - |
dc.date.created | 2020-04-03 | - |
dc.date.issued | 2001-10 | - |
dc.identifier.issn | 1229-6848 | - |
dc.identifier.uri | https://scholarworks.bwise.kr/kumoh/handle/2020.sw.kumoh/3866 | - |
dc.publisher | 한국정보과학회 | - |
dc.title | 오토마타기반의 병행 프로그램을 위한 결정적 수행 테스팅 기법 | - |
dc.title.alternative | Deterministic Execution Testing for Concurrent Programs based on Automata | - |
dc.type | Article | - |
dc.contributor.affiliatedAuthor | Kim, Byeong-Man | - |
dc.identifier.bibliographicCitation | 정보과학회논문지 : 소프트웨어 및 응용, v.28, no.10, pp.706 - 719 | - |
dc.citation.title | 정보과학회논문지 : 소프트웨어 및 응용 | - |
dc.citation.volume | 28 | - |
dc.citation.number | 10 | - |
dc.citation.startPage | 706 | - |
dc.citation.endPage | 719 | - |
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.