Detailed Information
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
오토마타기반의 병행 프로그램을 위한 결정적 수행 테스팅 기법Deterministic Execution Testing for Concurrent Programs based on Automata
- Other Titles
- Deterministic Execution Testing for Concurrent Programs based on Automata
- Authors
- Kim, Byeong-Man
- Issue Date
- Oct-2001
- Publisher
- 한국정보과학회
- Citation
- 정보과학회논문지 : 소프트웨어 및 응용, v.28, no.10, pp.706 - 719
- Journal Title
- 정보과학회논문지 : 소프트웨어 및 응용
- Volume
- 28
- Number
- 10
- Start Page
- 706
- End Page
- 719
- 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)