Browse "School of Computing(전산학부)" by Subject 검증

Showing results 1 to 12 of 12

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

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

2
Error repair with validation in LR-based parsing = LR 구문 분석에서의 오류 보정과 검증link

Kim, Ik-Soon; 김익순; et al, 한국과학기술원, 2002

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
Validation of timing and communication constraints in real-time parallel programs = 실시간 병렬 프로그램에 대한 시간 및 통신 제약 조건의 검증link

Bae, Hyun-Seop; 배현섭; et al, 한국과학기술원, 1999

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

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

9
Verification of function block diagram through verilog translation = Verilog 변환을 이용한 FBD의 정형검증link

Jeon, Seung-Jae; 전승재; et al, 한국과학기술원, 2007

10
Verification of intelligent network services by analyzing feature interactions using a petri net model = 페트리네트 모델을 사용한 서비스 상호작용 분석에 의한 지능망 서비스의 검증link

Choi, Jeong-Hun; 최정훈; et al, 한국과학기술원, 2003

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

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

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

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

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0