Verifying Correctness of Pattern-based Composition in Coq
보안공학연구지원센터(IJCA) International Journal of Control and Automation vol.1 no.1 2008.12 pp.43-50
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
SPRT형 CAT에서 검사의 신뢰도가 판정의 정확성과 효율성 및 미정판정에 미치는 영향
한국스쿨넷학회 한국스쿨넷학회 학술발표 논문집 제5회 동계스쿨넷2002 학술발표 논문집 ; Proceedings of the 5th SchoolNet2002 Winter Conference 2003.02 pp.369-379
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
[Kisti 연계] 대한전자공학회 대한전자공학회 학술대회논문집 2003 pp.454-457
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국컴퓨터정보학회 Journal of the Korea society of computer and information Vol.13 No.1 2008 pp.89-97
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
두 가지 발성 유형에 따른 한국어 파열음의 조음 위치 인지도(認知度) 차이
[Kisti 연계] 대한음성학회 대한음성학회 학술대회논문집 2007 pp.84-87
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
객체지향 분석 모델의 일관성 및 오류 점검 기법에 관한 연구
[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 2000 pp.495-497
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
정확성을 보장하는 결정적 Private Matching
[Kisti 연계] 한국정보과학회 정보과학회논문지:시스템 및 이론 Vol.34 No.10 2007 pp.502-510
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
정확성을 보장하는 결정적 Private Matching
[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 2006 pp.484-489
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
Statechart Diagram의 정확성 검증을 위한 SMV코드 자동생성
[Kisti 연계] 한국정보처리학회 한국정보처리학회 학술대회논문집 2003 pp.1543-1546
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보보호학회 한국정보보호학회 학술대회논문집 2002 pp.564-568
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
OCL을 이용한 UML Diagram의 일관성 및 정확성 검증방법
[Kisti 연계] 한국정보처리학회 한국정보처리학회 학술대회논문집 2002 pp.2007-2010
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
일관성 및 정확성 검증을 위한 구성요소와 관계로 표현된 UML 메타모델
[Kisti 연계] 한국정보처리학회 한국정보처리학회 학술대회논문집 2002 pp.477-480
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
정치적 올바름(Political Correctness)은 어떤 올바름을 추구하는가? : 사회정의관과 실천전략을 중심으로
[NRF 연계] 한국정치사상학회 정치사상연구 Vol.29 No.2 2023.11 pp.45-74
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
0개의 논문이 장바구니에 담겼습니다.
- 구매 불가 논문
-