A Temporal Formal Languages Model Based on Categorical Methods
보안공학연구지원센터(IJDTA) International Journal of Database Theory and Application Vol.8 No.5 2015.10 pp.1-14
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
How to Formally Model Features of Network Security Protocols
보안공학연구지원센터(IJSIA) International Journal of Security and Its Applications Vol.8 No.1 2014.01 pp.423-432
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Tool Support for Software Development Based on Formal Specifications in RTPA
보안공학연구지원센터(IJSEIA) International Journal of Software Engineering and Its Applications Vol.3 No.3 2009.07 pp.71-88
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Applying Formal Methods to Modeling and Analysis of Real-time Data Streams
[Kisti 연계] 한국정보과학회 Journal of computing science and engineering Vol.5 No.1 2011 pp.85-110
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
Formal Specification Methods for Distributed Object-Oriented Systems
[Kisti 연계] 한국정보처리학회 정보처리학회논문지 Vol.7 No.5 2000 pp.1426-1433
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 2000 pp.596-598
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
열차제어시스템 바이탈 소프트웨어를 위한 정형기법 적용 방안 분석
[Kisti 연계] 한국철도학회 한국철도학회 학술대회논문집 2007 pp.1000-1007
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
보안운영체제의 검증을 위한 정형기법 및 도구에 관한 연구
[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 2003 pp.880-882
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 대한전기학회 대한전기학회 학술대회논문집 2005 pp.2489-2491
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국경영과학회 한국경영과학회 학술대회논문집 2003 pp.297-300
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
FCA 기반 계층적 구조 표현을 이용한 문서 통합 기법
[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 2006 pp.388-392
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
실험통사론의 형식적 연구방법에 대한 고찰: 영어 수용성 판단 중심으로
[NRF 연계] 한국생성문법학회 생성문법연구 Vol.27 No.2 2017.05 pp.395-429
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
『삼국사기』『삼국유사』『제왕운기』에서 몇 가지 개념의 번역오류 문제: 개념분석의 방법들 - 연립방정식, 가설연역방법, 형식논리학
[NRF 연계] 철학연구회 철학연구 Vol.117 2017.07 pp.27-57
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
0개의 논문이 장바구니에 담겼습니다.
- 구매 불가 논문
-