상호 작용 중심 시스템의 품질 확보를 위한 LTL 분산 명세
[Kisti 연계] 한국정보처리학회 정보처리학회논문지/소프트웨어 및 데이터 공학 Vol.3 No.5 2014 pp.169-178
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
LTL Synthesis를 통한 반응형 시스템의 신뢰성 향상
[Kisti 연계] 한국정보과학회 정보과학회지 Vol.30 No.2 2012 pp.22-28
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
상호 작용 중심 시스템의 품질 확보를 위한 LTL 분산 명세
[NRF 연계] 한국정보처리학회 KIPS Transactions on Software and Data Engineering Vol.3 No.5 2014.05 pp.169-178
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
0개의 논문이 장바구니에 담겼습니다.
- 구매 불가 논문
-