Results 1-10 of 87 (Search time: 0.008 seconds).
NO | Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date) |
---|---|
데이타 정보가 첨부된 MSC에 기반한 병행 프로그램 테스트 케이스 생성 방법 = Generating test cases for concurrent programs from data annotated message sequence chartlink 김내희; Kim, Nae-Hee; 차성덕; Cha, Sung-Deok, 한국과학기술원, 1998 | |
Time bounder: WCET 분석도구 차성덕, 한국정보과학회 추계학술대회, pp.340 - 342, 2004 | |
Modular Verification of Statecharts Specification 차성덕, 한국정보과학회 추계학술대회 발표논문집, pp.593 - 595, 1999 | |
웹 환경 분석을 통한 공격 분류 = An approach to web attack categorizationlink 서정석; Seo, Jeong-Seok; 차성덕; Cha, Sung-Deok, 한국과학기술원, 2002 | |
모델 체킹을 이용한 SDL 명세로부터의 테스트 케이스 생성 환경 구현 = Test generation environment in SDL specification using model checkerlink 이금자; Lee, Geum-Ja; 차성덕; Cha, Sung-Deok, 한국과학기술원, 2003 | |
A Formal Semantics for SCR Specifications 차성덕, '97 정형기법 워크숍, pp.77 - 88, 1997 | |
실시간 모델 체커를 이용한 폴트 트리의 체계적 검증 지은경; 차성덕; 손한성; 유준범; 구서룡; 성풍현, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.12, pp.860 - 872, 2002-12 | |
Active Timeout을 이용한 SYN Flooding공격의 해결 차성덕, 한국정보과학회 추계학술대회, pp.361 - 363, 2004 | |
LUSTRE를 이용한 SCR명세의 구현 조승모; 차성덕, 정보과학회논문지(B), v.26, no.2, pp.251 - 262, 1999-02 | |
Safety Analysis Using Coloured Petri Nets 차성덕, 한국정보과학회 추계학술대회, pp.1415 - 1418, 1995 |
Discover