본문

  1. Home
3 Results:AA:김 현 AA:김현 PP:한국정보과학회 AA:김현수 AA:정인상 0.268 sec.
RSS 
다국어입력
 상세검색
 신착검색
선택출력 선택엑셀내보내기
1
MSC 명세를 기반으로 한 병렬 프로그램 테스팅 환경의 개발
MSC 명세를 기반으로 한 병렬 프로그램 테스팅 환경의 개발
김현수, | 한국정보과학회 | 2000 ,
2
오토마타기반의 병행 프로그램을 위한 결정적 수행 테스팅 기법
오토마타기반의 병행 프로그램을 위한 결정적 수행 테스팅 기법
정인상, | 한국정보과학회 | 2001 ,
3
명세 변경 후 병행 프로그램의 순서 제약조건 기반 회귀 테스팅
명세 변경 후 병행 프로그램의 순서 제약조건 기반 회귀 테스팅
김현수, | 한국정보과학회 | 2000 ,
처음1마지막