상세 보기
오토마타기반의 병행 프로그램을 위한 결정적 수행 테스팅 기법
Deterministic Execution Testing for Concurrent Programs based on Automata
- 제목
- 오토마타기반의 병행 프로그램을 위한 결정적 수행 테스팅 기법
- 제목 (타언어)
- Deterministic Execution Testing for Concurrent Programs based on Automata
- 저자
- Kim, Byeong-Man
- 발행일
- 2001-10
- 저널명
- 정보과학회논문지 : 소프트웨어 및 응용
- 권
- 28
- 호
- 10
- 페이지
- 706 ~ 719
- 출판사
- 한국정보과학회
- 발행국가
- 대한민국
- 분량
- 14 페이지
- ISSN
- P 1229-6848