본문

  1. Home
2 Results:AA:김태효 PP:한국정보과학회 AA:방호정 0.46 sec.
RSS 
다국어입력
 상세검색
 신착검색
선택출력 선택엑셀내보내기
1
스테이트차트의 실시간 검증을 위한 모델체커의 확장
스테이트차트의 실시간 검증을 위한 모델체커의 확장
방호정, | 한국정보과학회 | 2004 ,
2
반례를 이용한 프로그램의 오류 원인 탐지 기법
반례를 이용한 프로그램의 오류 원인 탐지 기법
신모범, | 한국정보과학회 | 2006 ,
처음1마지막