Design/CPN를 이용한 테스트 케이스 생성

이현정 ,  우성희 ,  이상호

한국통신학회 학술대회논문집

1998 .07

Estelle로부터 자료흐름이 고려된 테스트 케이스 생성

이현정 ,  우성희 ,  이상호

한국정보과학회 학술발표논문집

1998 .10

CPN을 이용한 무선원격제어시스템의 안전성 검증

이문구

정보보호학회논문지

2003 .10

CPN 모델의 역방향 안전성 분석 도구 개발

이우진 ,  채흥석 ,  차성덕 외 2명

정보과학회논문지(C)

1999 .08

Design-CPN을 사용한 트랜잭션 워크플로우 회복처리 설계 ( Design of Transaction Workflow`s Recovery Processing Using Design / CPN )

정인철

한국통신학회 학술대회논문집

1998 .01

CPN의 관리 모델과 망 엑세스 흐름 / 혼잡 제어 ( CPN Management Model and Network Access Flow / Control in ATM Network )

김양섭 ,  권혁인 ,  김영찬

한국통신학회논문지

1998 .08

Web page evaluation methodology applying web mining and CPN

Jae Jun Lee ,  EuiHo Suh ,  O Byung Kwon

대한산업공학회 춘계공동학술대회 논문집

2001 .04

Requirements of a Multipoint Protocol for Video Conference in ATM CPN

Dong Bum Jung ,  Chan Pa ,  k 외 3명

JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications

1993 .01

CPN 기반의 침입방지시스템 보안모델의 안정성 검증

이문구

전자공학회논문지-CI

2011 .05

셀룰러 순열 네트워크에 대한 오류진단

길장웅 ,  김성천

(구)정보과학회논문지

1993 .01

CPN 모델을 이용한 프로토콜 변환

윤정민 ,  임헌택 ,  조기헌 외 1명

한국정보과학회 학술발표논문집

1990 .04

The Performance Evaluation of New Web Caching with Related Content using Colored Petri Net Simulation

Sa ,  va ,  Abdullaev 외 2명

한국전자거래학회지

2008 .08

CPN을 이용한 Honeypot 모델 설계

현병기 ,  구경옥 ,  조도은 외 1명

한국통신학회논문지

2003 .05

테스팅을 고려한 설계 모델 및 모델 기반 테스트 케이스 도출 방법

김태웅 ,  정병관 ,  유민수

한국멀티미디어학회 학술발표논문집

2008 .11

RDF 모델을 나타내는 Petri Net 모형 구축

임재걸 ,  이강재 ,  정승환 외 1명

한국컴퓨터정보학회 학술발표논문집

2008 .06

개선된 CPN을 이용한 필기체 숫자인식

손채봉 ,  강창우 ,  차광훈 외 1명

한국통신학회 학술대회논문집

1993 .07

요구사항 기반 테스팅의 유효한 테스트 케이스 판별 전략

박현상 ,  최경희 ,  정기현

한국정보과학회 학술발표논문집

2009 .06

가능성 있는 불변식과 검증반례에 기반한 테스트케이스 생성을 위한 제안

조준희 ,  한동수

한국정보과학회 학술발표논문집

2009 .11