4,000원
※ 기관로그인 시 무료 이용이 가능합니다.
4,000원
※ 기관로그인 시 무료 이용이 가능합니다.
4,000원
※ 기관로그인 시 무료 이용이 가능합니다.
4,000원
※ 기관로그인 시 무료 이용이 가능합니다.
4,000원
※ 기관로그인 시 무료 이용이 가능합니다.
Model Checking of Non-Centralized Automaton Web Service with AMT Bounded Constraint
보안공학연구지원센터(IJMUE) International Journal of Multimedia and Ubiquitous Engineering Vol.11 No.3 2016.03 pp.57-66
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Timed Model Checking Service-Oriented Product Lines
보안공학연구지원센터(IJUNESST) International Journal of u- and e- Service, Science and Technology Vol.9 No.7 2016.07 pp.335-348
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Approximated Model Checking for Multirate Hybrid ZIA
보안공학연구지원센터(IJCA) International Journal of Control and Automation Vol.9 No.2 2016.02 pp.271-286
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
NSPK Protocol Security Model Checking System Builder
보안공학연구지원센터(IJSIA) International Journal of Security and Its Applications Vol.9 No.7 2015.07 pp.307-316
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Safety Properties based Scenario Generation for Model Checking Trampoline OS
보안공학연구지원센터(IJSIA) International Journal of Security and Its Applications Vol.7 No.3 2013.05 pp.121-132
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
The Domain Ontology and Domain Rules Based Requirements Model Checking
보안공학연구지원센터(IJSEIA) International Journal of Software Engineering and Its Applications Vol.1 No.1 2007.07 pp.89-100
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Veri cation of Embedded Real-Time Systems Using Symbolic Model Checking : A Case Study
보안공학연구지원센터(IJHIT) International Journal of Hybrid Information Technology Vol.6 No.6 2013.11 pp.203-216
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
보안공학연구지원센터(IJHIT) International Journal of Hybrid Information Technology Vol.9 No.10 2016.10 pp.185-200
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
An Approach Converting XMI to SMV
보안공학연구지원센터(IJSIA) International Journal of Security and Its Applications Vol.9 No.12 2015.12 pp.309-316
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
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
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
The Impact of Rate of Change on Object Oriented Paradigm
보안공학연구지원센터(IJSEIA) International Journal of Software Engineering and Its Applications Vol.7 No.5 2013.09 pp.25-38
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Use case model의 상세화에 따른 consistency checking 방법에 관한 연구
[Kisti 연계] 한국정보처리학회 한국정보처리학회 학술대회논문집 2003 pp.1685-1688
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
Model Checking for Time-Series Count Data
[Kisti 연계] 한국통계학회 Communications for statistical applications and methods Vol.12 No.2 2005 pp.359-364
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
0개의 논문이 장바구니에 담겼습니다.
- 구매 불가 논문
-