Browse "RIMS Conference Papers" by Author 차성덕

Showing results 1 to 17 of 17

1
A Formal Semantics for SCR Specifications

차성덕, '97 정형기법 워크숍, pp.77 - 88, 1997

2
A Verification of Requirements Specifications for Safety-critical System.

차성덕, 한국정보과학회 춘계학술대회 발표논문집, pp.697 - 700, 1996

3
Active Timeout을 이용한 SYN Flooding공격의 해결

차성덕, 한국정보과학회 추계학술대회, pp.361 - 363, 2004

4
Automata-Based Semantics of MSCs and Algorithm for the Construction of Semantic-Automata

차성덕, 한국정보과학회 추계학술대회 발표논문집, pp.519 - 521, 1999

5
Detection of Common Mode Failures in N-Version Software Using Weakest Precondition Analysis.

차성덕, 한국정보과학회 춘계학술대회, pp.599 - 602, 1997

6
LOOKER: Integrated Log Analysis Tool for UNIX Systems

차성덕, 한국정보과학회 춘계학술대회 발표논문집, 1998

7
Modeling a traffic control system using formal specification

차성덕, 한국정보과학회 춘계학술대회 발표논문집, 1998

8
Modeling and Verifying IN Services using Colored Petri Net.

차성덕, National Conference on Advanced Intelligent Network, pp.205 - 208, 1996

9
Modular Verification of Statecharts Specification

차성덕, 한국정보과학회 추계학술대회 발표논문집, pp.593 - 595, 1999

10
Safety Analysis Using Coloured Petri Nets

차성덕, 한국정보과학회 추계학술대회, pp.1415 - 1418, 1995

11
Safety-critical Software Requirements Checking Using PVS.

차성덕, 한국정보과학회 춘계학술대회 발표논문집, pp.595 - 598, 1997

12
SMV를 이용한 Structural Decision Table 명세의 정형검증

차성덕, 2006 한국컴퓨터종합학술대회, pp.190 - 192, 2006

13
Specification and Test-Case Generation Method for Detecting Data Anomalies in Concurrent Programs

차성덕, 한국정보과학회 추계학술대회 발표논문집, 1997

14
Specifying and Verifying Wolsong SDS2 Using Real-Time Model Checker

차성덕, 한국정보과학회 추계학술대회 발표, pp.385 - 387, 2000

15
Time bounder: WCET 분석도구

차성덕, 한국정보과학회 추계학술대회, pp.340 - 342, 2004

16
웹 어플리케이션 IDS 평가를 위한 테스트 환경 설계 및 구축

차성덕, 한국정보과학회 추계학술대회, pp.463 - 465, 2004

17
타이머 함수 블록을 포함한 FBD에 대한 테스팅

차성덕, 2006 한국원자력학회 춘계학술발표회, 2006

rss_1.0 rss_2.0 atom_1.0