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
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
보안공학연구지원센터(IJSIA) International Journal of Security and Its Applications Vol.10 No.11 2016.11 pp.211-228
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Research on Flexible Business Process of Bank Modeling Based on EPC
보안공학연구지원센터(IJMUE) International Journal of Multimedia and Ubiquitous Engineering Vol.10 No.6 2015.06 pp.287-300
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
[Kisti 연계] 한국정보처리학회 한국정보처리학회 학술대회논문집 2000 pp.133-136
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
0개의 논문이 장바구니에 담겼습니다.
- 구매 불가 논문
-