[Kisti 연계] 한국정보과학회 정보과학회지 Vol.28 No.2 2010 pp.63-69
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
SMV를 이용한 RACE 프로토콜의 정형 검증 및 테스팅
[Kisti 연계] 대한전자공학회 電子工學會論文誌. Journal of the Institute of Electronics Engineers of Korea. CI, 컴퓨터 Vol.39 No.3 2002 pp.1-17
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
STATECHART 로 설계한 Digital Plant Protection System 의 정형 검증
[Kisti 연계] 한국정보처리학회 한국정보처리학회 학술대회논문집 2001 pp.185-188
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보처리학회 한국정보처리학회 학술대회논문집 2000 pp.595-598
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 1999 pp.602-604
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
0개의 논문이 장바구니에 담겼습니다.
- 구매 불가 논문
-