DSpace at KOASAS
Browsing DSpace

Browse "CS-Theses_Master(석사논문) " by Subject Verification

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 8 of 8

1
(An) approach to defining and verifying modules for Statecharts = Statecharts 모듈 정의 및 검증link

Seo, Sun-Ae; 서선애; et al, 한국과학기술원, 2000

2
Consistency checking between Models in object-oriented analysis = 객체 지향 분석 모형간의 일관성 진단link

Chun, Wang-Sung; 천왕성; et al, 한국과학기술원, 1997

3
PVS를 이용한 safety-critical 시스템의 요구 사항 검증 = Verification of safety-critical system requirements using PVSlink

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

4
SPIN++를 이용한 병렬 객체 모델의 검증 = Concurrent object model verification using SPIN++link

조웅희; Cho, Woong-Hee; et al, 한국과학기술원, 1999

5
Stepwise verification of statecharts specification using state abstraction = 상태 추상화를 통한 Statecharts 요구명세의 단계적 검증link

Oh, Seung-Uk; 오승욱; et al, 한국과학기술원, 1998

6
Systematic evaluation of fault trees using real-time model checker = 실시간 모델 체커를 이용한 폴트 트리의 체계적 검증link

Jee, Eun-Kyoung; 지은경; Bae, Doo-Hwan; Cha, Sung-Deok; et al, 한국과학기술원, 2001

7
VICODE : 검증도구가 일체화된 동시설계환경 = VICODE : verification integrated co-design environmentlink

김건우; Kim, Gun-Woo; et al, 한국과학기술원, 2007

8
객체 지향 요구 명세의 동적 행위 검증을 위한 방법 = An approach to verification of dynamic behavior in object-oriented requirements specificationlink

백진욱; Baek, Jin-Wook; et al, 한국과학기술원, 1997

Discover

rss_1.0 rss_2.0 atom_1.0