본문

  1. Home
18 Results:AA:차성덕 1.187 sec.
RSS 
Multilingual
 การค้นหาขั้นสูง
 เดินทางมาถึงค้นหาวัสดุใหม่
พิมพ์ที่เลือก Select Export to Excel
1
不等式에 關한 硏究 : 中.高等學校 過程을 中心으로
不等式에 關한 硏究 : 中.高等學校 過程을 中心으로
차성덕, 414.26-차54부-TM | 慶熙大學校 敎育大學院 | 1980 414.26-차54부-TM,
2
MSCTset : 내장 소프트웨어 테스트를 위한 자동화 도구
MSCTset : 내장 소프트웨어 테스트를 위한 자동화 도구
이남희, | 한국정보과학회 | 2000 ,
3
PVS를 이용한 SCR 스타일의 소프트웨어 요구사항 명세에서 기능 요구 사항의 정형 검증
PVS를 이용한 SCR 스타일의 소프트웨어 요구사항 명세에서 기능 요구 사항의 정형 검증
김태호, | 한국정보과학회 | 2002 ,
4
템플릿에 기반한 NuSCR 정형 명세의 소프트웨어 고장 수목 생성 방법
템플릿에 기반한 NuSCR 정형 명세의 소프트웨어 고장 수목 생성 방법
김태호, | 한국정보과학회 | 2005 ,
5
태스크 상호작용 테스팅을 위한 MSC 명세로부터의 전체 유한 상태 기계 생성
태스크 상호작용 테스팅을 위한 MSC 명세로부터의 전체 유한 상태 기계 생성
이남희, | 한국정보과학회 | 2001 ,
6
스테이트차트의 실시간 검증을 위한 모델체커의 확장
스테이트차트의 실시간 검증을 위한 모델체커의 확장
방호정, | 한국정보과학회 | 2004 ,
7
디지털 원자로 보호 시스템을 위한 정형 소프트웨어 요구사항 명세
디지털 원자로 보호 시스템을 위한 정형 소프트웨어 요구사항 명세
유준범, | 한국정보과학회 | 2004 ,
8
SPARK Examiner를 이용해 ANSI-C프로그램의 안전성을 분석하기 위한 C언어의 제약 조건과 변환 방법
SPARK Examiner를 이용해 ANSI-C프로그램의 안전성을 분석하기 위한 C언어의 제약 조건과 변환 방법
김진섭, | 한국정보과학회 | 2003 ,
9
실시간 모델 체커를 이용한 풀트 트리의 체계적 검증
실시간 모델 체커를 이용한 풀트 트리의 체계적 검증
지은경, | 한국정보과학회 | 2002 ,
10
웹 어플리케이션 특성 분석을 통한 공격 분류
웹 어플리케이션 특성 분석을 통한 공격 분류
서정석, | 한국정보과학회 | 2003 ,
처음12이후마지막