A Formal Semantic for Scenario-Based Model Using Algebraic Semantics Framework for MOF
보안공학연구지원센터(IJSEIA) International Journal of Software Engineering and Its Applications Vol.7 No.1 2013.01 pp.107-122
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Implementation of AADL Interpreter Based on K
보안공학연구지원센터(IJHIT) International Journal of Hybrid Information Technology Vol.8 No.4 2015.04 pp.177-184
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
How has belief modality contributed to formal semantics?
[Kisti 연계] 한국언어정보학회 한국언어정보학회 학술대회논문집 2007 pp.42-53
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보처리학회 정보처리학회논문지/컴퓨터 및 통신 시스템 Vol.12 No.5 2023 pp.157-164
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보처리학회 정보처리학회논문지/컴퓨터 및 통신 시스템 Vol.10 No.6 2021 pp.163-172
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
VOQL* : 귀납적으로 정의된 형식 시맨틱을 지닌 시각 객체 질의어
[Kisti 연계] 한국정보과학회 정보과학회논문지:데이타베이스 Vol.27 No.2 2000 pp.151-164
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
Attributed AND-OR Graph : 디지털 시스템 설계에 있어 모델 관리를 위한 정형론
[Kisti 연계] 한국시뮬레이션학회 한국시뮬레이션학회 학술대회논문집 2005 pp.34-39
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
A Formal Semantics of Deictic Locative Perspective
[NRF 연계] 사단법인 한국언어학회 언어학 Vol.17 1995.12 pp.79-98
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[NRF 연계] 서울대학교 인문학연구원 인문논총 Vol.79 No.2 2022.05 pp.7-38
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[NRF 연계] 한국정보처리학회 KIPS Transactions on Computer and Communication Systems Vol.17 No.4 2010.08 pp.173-180
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[NRF 연계] 한국정보처리학회 KIPS Transactions on Computer and Communication Systems Vol.12 No.5 2005.10 pp.157-164
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[NRF 연계] 한국정보처리학회 KIPS Transactions on Computer and Communication Systems Vol.10 No.6 2003.12 pp.163-172
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
0개의 논문이 장바구니에 담겼습니다.
- 구매 불가 논문
-