지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 발행연도
- 2008.11
- 수록면
- 387 - 390 (4page)
이용수
초록· 키워드
오류제보하기
μCRL is a process algebraic language for the formal specification and analysis of the behaviour of distributed systems. The toolset of μCRL is the result of software engineering research with a very strong foundation in formal theories/methods, which supports the analysis and manipulation of μCRL specifications. This paper investigates a Computer Science based approach for specification and verification of hardware circuits using μCRL and its toolset. Two standard benchmark circuits are described in μCRL and analysed by the μCRL toolset together with the software tools CADP and SPIN, which are well-equipped with the μCRL toolset.
목차
Abstract
Ⅰ. INTRODUCTION
Ⅱ. μCRL
Ⅲ. CADP, μ-CALCULUS, SPIN MODEL CHECKER AND PROMELA
Ⅳ. AN ASYNCHRONOUS ARBITER
Ⅴ. A HAZARDOUS CIRCUIT
Ⅵ. CONCLUDING REMARKS AND FUTURE WORK
ACKNOWLEDGEMENT
REFERENCES
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
델타 CRL 운영 기술 개발
정보보호학회논문지
2002 .08
-
차량통신에서 차량의 CRL 처리 시간을 최소화시킨 인증서 취소목록 배포 기법
한국컴퓨터정보학회논문지
2018 .12
-
CRL Distribution Method based on the T-DMB Data Service for Vehicular Networks
정보보호학회논문지
2011 .08
-
Certificate Revocation Scheme using MOT Protocol over T-DMB Infrastructure
멀티미디어학회논문지
2011 .12
-
MOT Protocol based Certification Revocation List Distribution for Vehicular Networks
한국멀티미디어학회 국제학술대회
2011 .07
-
A Novel Certificate Revocation List Distribution for Vehicle Communications in Mobile Communication Networks
한국컴퓨터정보학회논문지
2017 .12
-
Design and Implementation of Certificate Revocation List Acquisition Method for Security of Vehicular Communications
한국통신학회논문지
2012 .07
-
VSI X - CRL 합성관리도의 경제적 설계
산업경영시스템학회지
2005 .01
-
FM 부가방송 기반에서의 인증서 유효성 검증에 관한 연구
한국정보과학회 학술발표논문집
2001 .10
-
WAVE 시스템 지원을 위한 CRL 다운로드 프로토콜의 설계 및 구현
한국정보통신학회논문지
2015 .04
-
Activities in Photonic Network Forum (PIF) in Japan and the researches at Communications Research Lab (CRL)
한국통신학회 워크샵
2002 .10
-
부하감소를 위한 분산 OCSP 서버 그룹화 모델 제안
한국정보과학회 학술발표논문집
2005 .07
-
통신 소프트웨어 개발을 위한 정형방법 지원도구
한국통신학회 학술대회 및 강연회
1998 .12
-
An Integrated Toolset for Distributed Real-Time Systems Based on Computational Grid
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2002 .07
-
NR/CR 라텍스 블렌드 필름의 제조 및 물리적 특성
공업화학
1996 .01
-
효율적인 신원확인을 위한 개선된 인증서 검증 프로토콜
전자공학회논문지-IE
2004 .03
-
금융거래 서비스 제공자의 향상된 검증속도를 위한 인증서폐지 전송 시스템
한국정보과학회 학술발표논문집
2002 .10
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2013-569-001759076