DSpace at KOASAS
Browsing DSpace

Browse "CS-Theses_Ph.D.(박사논문) " by Author Cha, Sung-Deok

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 10 of 10

1
(A) static analysis technique for improving accuracy of worst case execution time estimation = 최장 수행 시간 예측의 정확도 향상을 위한 정적 분석 기법link

Kim, Tai-Hyo; 김태효; et al, 한국과학기술원, 2007

2
(A) testing method for task interactions of embedded software using message sequence charts = 메시지 순서도를 이용한 내장 소프트웨어의 태스크 상호작용 테스팅 방법link

Lee, Nam-Hee; 이남희; et al, 한국과학기술원, 2003

3
(An) approach to masquerade detection using support vector machine = Support vector machine 기반의 신분위장 탐지기법link

Kim, Han-Sung; 김한성; et al, 한국과학기술원, 2005

4
Detection of anomalous web sessions using page sequences = 페이지 순서와 인자 값을 활용한 비정상적인 웹 세션 탐지link

Cho, Sang-Hyun; 조상현; et al, 한국과학기술원, 2005

5
Empirical evaluation and prediction of software quality using software inspection = 소프트웨어 인스펙션을 이용한 소프트웨어 품질의 실험적 평가와 예측link

So, Sun-Sup; 소선섭; Kwon, Young-Rae; Cha, Sung-Deok; et al, 한국과학기술원, 2001

6
Property-based theorem proving and template-based fault tree analysis of NuSCR requirements specification = NuSCR 요구 명세의 속성 기반 정리 증명과 템플릿 기반 고장 수목 분석link

Kim, Tae-Ho; 김태호; et al, 한국과학기술원, 2005

7
Safety analysis of hybrid real-time system requirements using qualitative models = 정성 모델을 이용한 복합 실시간 계통 요구사항의 안전성 분석link

Lee, Jang-Soo; 이장수; et al, 한국과학기술원, 2002

8
Specification and analysis of dynamic systems using temporal logic = 동적 시스템 명세를 위한 시제논리와 분석link

Cho, Seung-Mo; 조승모; et al, 한국과학기술원, 2002

9
Synthesis of function block diagrams software from NuSCR formal specification = NuSCR 정형명세로부터 function block diagrams의 생성link

Yoo, Jun-Beom; 유준범; et al, 한국과학기술원, 2005

10
Verification and testing methods for Statecharts = Statecharts를 위한 검증 및 테스팅 방법link

Hong, Hyoung-Seok; 홍형석; et al, 한국과학기술원, 2001

Discover

rss_1.0 rss_2.0 atom_1.0