A Formal Method of CPU Resources Scheduling in the Cloud Computing Environment
보안공학연구지원센터(IJGDC) International Journal of Grid and Distributed Computing Vol.8 No.1 2015.02 pp.133-144
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Test Framework Development for Software Reliability Test using Formal Method
보안공학연구지원센터(IJSEIA) International Journal of Software Engineering and Its Applications Vol.10 No.8 2016.08 pp.151-158
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
A Formal Verification Method of Obligation Policy in Multi-agent System
보안공학연구지원센터(IJUNESST) International Journal of u- and e- Service, Science and Technology Vol.8 No.11 2015.11 pp.113-124
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
A New Formal Modeling Method for Web Service Composition
보안공학연구지원센터(IJSIP) International Journal of Signal Processing, Image Processing and Pattern Recognition Vol.8 No.7 2015.07 pp.341-350
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
철도신호시스템 운용규정에 Formal Method의 적용
[Kisti 연계] 한국철도학회 한국철도학회 학술대회논문집 2006 pp.856-862
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보과학회 Journal of computing science and engineering Vol.11 No.1 2017 pp.9-23
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
Formal Validation Method and Tools for French Computerized Railway Interlocking Systems
[Kisti 연계] 한국철도학회 International Journal of Railway Vol.2 No.3 2009 pp.99-106
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
A formal linearization method via cubic splines and its applications
[Kisti 연계] 제어로봇시스템학회 제어로봇시스템학회 학술대회논문집 1991 pp.1848-1853
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국원자력학회 Nuclear Engineering and Technology Vol.44 No.8 2012 pp.929-938
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
THE MULTISOLITON SOLUTION OF GENERALIZED BURGER'S EQUATION BY THE FORMAL LINEARIZATION METHOD
[Kisti 연계] 대한수학회 대한수학회논문집 Vol.26 No.2 2011 pp.207-214
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
THE EXACT SOLUTION OF KLEIN-GORDON'S EQUATION BY FORMAL LINEARIZATION METHOD
[Kisti 연계] 호남수학회 Honam mathematical journal Vol.30 No.4 2008 pp.631-635
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
The Greek formal logic and the axiomatic method in stoicheia
[Kisti 연계] 호남수학회 Honam mathematical journal Vol.3 No.1 1981 pp.129-137
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
Use of Reading Aloud Method in a Formal College-Level English Reading Classroom
[Kisti 연계] 한국영어어문교육학회 영어어문교육 Vol.17 No.3 2011 pp.57-71
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
Three-dimensional Elastic Green's Solution by Formal Time-integration Method
[Kisti 연계] 한국지구물리탐사학회 지구물리와 물리탐사 Vol.3 No.4 2000 pp.125-128
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
A New Method for the Oxazolidinone Key Intermediate of Linezolid and its Formal Synthesis
[Kisti 연계] 대한화학회 Bulletin of the Korean Chemical Society Vol.33 No.4 2012 pp.1389-1392
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
원자력 발전소 내장형 Protection 시스템의 설계에 대한 정형기법의 적용
[Kisti 연계] 한국원자력학회 한국원자력학회 학술대회논문집 2001 p.99
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
실시간 시스템의 순환 공학을 위한 정형 기법: 추상 시간 기계
[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 2000 pp.558-560
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
정형기법을 이용한 Safety-Critical System 개발 방법론
[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 2000 pp.486-488
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
정형 기법을 이용한 하드웨어 AES 모듈 백도어 탐색 연구
[Kisti 연계] 한국정보보호학회 정보보호학회논문지 Vol.29 No.4 2019 pp.739-751
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
0개의 논문이 장바구니에 담겼습니다.
- 구매 불가 논문
-