A Reference Architecture for Software-Defined Networking (SDN)
한국컴퓨터통신연구회 OSIA Standards & Technology Review Journal 제25권 제3호 2012.09 pp.22-31
4,000원
※ 기관로그인 시 무료 이용이 가능합니다.
Specification of Railway Transportation Cyber Physical Systems Using Formal Approach
보안공학연구지원센터(IJMUE) International Journal of Multimedia and Ubiquitous Engineering Vol.8 No4 2013.07 pp.157-168
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
A Formal Model of Robustness Testing for an Object-Oriented Specification
보안공학연구지원센터(IJSEIA) International Journal of Software Engineering and Its Applications Vol.10 No.3 2016.03 pp.163-178
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Research of Formal Verification for SQL Operations in Top Level Specification of a Secure Database
보안공학연구지원센터(IJDTA) International Journal of Database Theory and Application Vol.5 No.3 2012.09 pp.37-54
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Automatic Extraction and Integration of Changes in Shared Software Specifications
보안공학연구지원센터(IJSEIA) International Journal of Software Engineering and Its Applications Vol.6 No.1 2012.01 pp.29-46
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Formal Specification and Security Analyis of CEPS(Common Electronic Purse Specification)
[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 2005 pp.124-126
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
Formal Specification Methods for Distributed Object-Oriented Systems
[Kisti 연계] 한국정보처리학회 정보처리학회논문지 Vol.7 No.5 2000 pp.1426-1433
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
A Formal Specification and Meta-Model for Development of Cooperative Collection·Analysis Framework
[Kisti 연계] 한국컴퓨터정보학회 Journal of the Korea society of computer and information Vol.24 No.12 2019 pp.85-92
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
A Formal Specification and Verification of CORBA Standards
[Kisti 연계] 한국정보처리학회 정보처리학회논문지 Vol.5 No.12 1998 pp.3127-3137
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
Analysis of the Formal Specification Application for Train Control Systems
[Kisti 연계] 대한전기학회 Journal of electrical engineering & technology Vol.4 No.1 2009 pp.87-92
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 2005 pp.124-126
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보처리학회 한국정보처리학회 학술대회논문집 2002 pp.439-442
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
SyncCharts를 이용한 실시간 시스템의 정형 명세와 검증
[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 2002 pp.415-417
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보처리학회 한국정보처리학회 학술대회논문집 2000 pp.595-598
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보처리학회 한국정보처리학회 학술대회논문집 2000 pp.349-355
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 2000 pp.531-533
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
Spin을 이용한 근사 정렬된 우선 순위 큐 스케줄러 알고리즘의 명세
[Kisti 연계] 한국정보처리학회 한국정보처리학회 학술대회논문집 2000 pp.1144-1147
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 1999 pp.563-565
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국멀티미디어학회 멀티미디어학회논문지 Vol.7 No.11 2004 pp.1620-1629
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
0개의 논문이 장바구니에 담겼습니다.
- 구매 불가 논문
-