생산자동화시스템 PLC 제어프로그램의 안전성 정형검증에 관한 연구
대한안전경영과학회 대한안전경영과학회지 제17권 제1호 2015.03 pp.179-192
4,600원
※ 기관로그인 시 무료 이용이 가능합니다.
4,000원
※ 기관로그인 시 무료 이용이 가능합니다.
4,000원
※ 기관로그인 시 무료 이용이 가능합니다.
Formal Verification of a UML State Chart Diagram with Uppaal
보안공학연구지원센터(IJHIT) International Journal of Hybrid Information Technology Vol.5 No.4 2012.10 pp.55-60
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
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
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
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
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
FV-HS : Formal Verification for AMS SoC Based on Symbolic Computing
보안공학연구지원센터(IJCA) International Journal of Control and Automation Vol.9 No.6 2016.06 pp.97-104
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Pi-Calculus Based Formal Verification of Web Services Composition
보안공학연구지원센터(IJGDC) International Journal of Grid and Distributed Computing Vol.8 No.5 2015.10 pp.137-140
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
SFV : A Scalable Approach to Formal Verification for AMS SoC
보안공학연구지원센터(IJCA) International Journal of Control and Automation Vol.9 No.4 2016.04 pp.223-232
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
보안공학연구지원센터(IJMUE) International Journal of Multimedia and Ubiquitous Engineering Vol.4 No.2 2009.04 pp.189-196
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Verification Method of Real-time System Based on Refinement Relation
보안공학연구지원센터(IJGDC) International Journal of Grid and Distributed Computing Vol.8 No.1 2015.02 pp.179-188
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Formal Verification Network-based Protocol for Railway Signaling Systems
[Kisti 연계] 제어로봇시스템학회 제어로봇시스템학회 학술대회논문집 2004 pp.354-357
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국원자력학회 Nuclear Engineering and Technology Vol.44 No.8 2012 pp.929-938
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
Formal Modeling and Verification of an Enhanced Variant of the IEEE 802.11 CSMA/CA Protocol
[Kisti 연계] 한국통신학회 Journal of communications and networks Vol.16 No.4 2014 pp.385-396
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
Formal Modeling and Verification of an Information Retrieval System using SMV
[Kisti 연계] 한국시뮬레이션학회 한국시뮬레이션학회 학술대회논문집 2001 pp.141-146
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
A Formal Specification and Verification of CORBA Standards
[Kisti 연계] 한국정보처리학회 정보처리학회논문지 Vol.5 No.12 1998 pp.3127-3137
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보과학회 Journal of computing science and engineering Vol.11 No.1 2017 pp.9-23
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
Aspect DEVS 검증 틀을 이용한 소프트웨어 정형 검증 방법론
[Kisti 연계] 한국시뮬레이션학회 한국시뮬레이션학회논문지 Vol.18 No.3 2009 pp.113-122
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보처리학회 한국정보처리학회 학술대회논문집 2005 pp.1091-1094
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
0개의 논문이 장바구니에 담겼습니다.
- 구매 불가 논문
-