An Approach Converting XMI to SMV
보안공학연구지원센터(IJSIA) International Journal of Security and Its Applications Vol.9 No.12 2015.12 pp.309-316
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 2003 pp.358-360
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보처리학회 정보처리학회논문지 D Vol.d10 No.5 2003 pp.813-820
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
An Adaptive Goal-Based Model for Autonomous Multi-Robot Using HARMS and NuSMV
[Kisti 연계] 한국지능시스템학회 International Journal of Fuzzy Logic and Intelligent Systems Vol.16 No.2 2016 pp.95-103
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
0개의 논문이 장바구니에 담겼습니다.
- 구매 불가 논문
-