지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
1. 서론
2. Estelle와 Design / CPN
3. Estelle 명세의 CPN 변환
4. 사례 연구
5. 결론 및 향후 연구 방향
참고문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
Design/CPN를 이용한 테스트 케이스 생성
한국통신학회 학술대회논문집
1998 .07
Design / CPN를 이용한 테스트 케이스 생성 ( Generation of Test Cases Using Design / CPN )
한국통신학회 학술대회논문집
1998 .01
CPN 모델의 역방향 안전성 분석 도구 개발
정보과학회논문지(C)
1999 .08
CPN을 이용한 무선원격제어시스템의 안전성 검증
정보보호학회논문지
2003 .10
CPN의 관리 모델과 망 엑세스 흐름 / 혼잡 제어 ( CPN Management Model and Network Access Flow / Control in ATM Network )
한국통신학회논문지
1998 .08
Design-CPN을 사용한 트랜잭션 워크플로우 회복처리 설계 ( Design of Transaction Workflow`s Recovery Processing Using Design / CPN )
한국통신학회 학술대회논문집
1998 .01
CPN 기반의 침입방지시스템 보안모델의 안정성 검증
전자공학회논문지-CI
2011 .05
CPN 모델을 이용한 프로토콜 변환
한국정보과학회 학술발표논문집
1990 .04
ESTELLE의 확장 : 동기적 전송방식을 통한 Estelle의 명시적인 병렬성 표현
대한전자공학회 학술대회
1991 .06
Estelle로 기술된 프로토콜의 적합성 검증에 관한 연구 ( A Study on the Conformance Test for Protocols Written in Estelle )
전자공학회논문지-B
1992 .11
Web page evaluation methodology applying web mining and CPN
대한산업공학회 춘계공동학술대회 논문집
2001 .04
Estelle의 확장 : 동기적 전송방식을 통한 Estelle의 명시적인 병렬성 표현 ( Explict Parallelism Description of Estelle With Synchronous Message Passing )
대한전자공학회 학술대회
1991 .07
Requirements of a Multipoint Protocol for Video Conference in ATM CPN
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1993 .01
RDF 모델을 나타내는 Petri Net 모형 구축
한국컴퓨터정보학회 학술발표논문집
2008 .06
Estelle로 표현된 프로토콜의 테스트 슈트 생성에 관한 연구
한국정보과학회 학술발표논문집
1994 .04
The Performance Evaluation of New Web Caching with Related Content using Colored Petri Net Simulation
한국전자거래학회지
2008 .08
[特輯]Extended State Transition Language(ESTELLE)
정보과학회지
1988 .02
ESTELLE 명세에서 VHDL 명세로의 변환 방법론
멀티미디어학회논문지
2000 .04
셀룰러 순열 네트워크에 대한 오류진단
(구)정보과학회논문지
1993 .01
0