시간 기반 인공심장 서보 전동기 제어 소프트웨어 모니터링 특성 향상 사례 연구
[Kisti 연계] 한국정보과학회 정보과학회논문지:컴퓨팅의 실제 및 레터 Vol.18 No.5 2012 pp.394-398
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보과학회 정보과학회논문지:컴퓨팅의 실제 및 레터 Vol.18 No.5 2012 pp.399-403
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
인공심장의 예측 가능한 제어를 위한 실시간 소프트웨어 설계 구조의 개선
[Kisti 연계] 한국정보처리학회 정보처리학회논문지 A Vol.a18 No.6 2011 pp.271-280
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
VERIFICATION OF PLC PROGRAMS WRITTEN IN FBD WITH VIS
[Kisti 연계] 한국원자력학회 Nuclear Engineering and Technology Vol.41 No.2 2009 pp.79-90
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
VERIFICATION OF PLC PROGRAMS WRITTEN IN FBD WITH VIS
[Kisti 연계] 한국원자력학회 Nuclear Engineering and Technology Vol.41 No.1 2009 pp.79-90
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
함수 블록 다이어그램으로 구현된 PLC 프로그램에 대한 정형 검증 기법
[Kisti 연계] 한국정보과학회 정보과학회논문지:컴퓨팅의 실제 및 레터 Vol.15 No.3 2009 pp.211-215
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
NuSCR 정형 요구사항 명세로부터 FBD 프로그램 자동생성을 위한 CASE 도구
[Kisti 연계] 한국정보과학회 정보과학회논문지:컴퓨팅의 실제 및 레터 Vol.15 No.4 2009 pp.265-269
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보과학회 정보과학회지 Vol.25 No.2 2007 pp.43-48
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보과학회 정보과학회지 Vol.25 No.8 2007 pp.48-54
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국원자력학회 Nuclear Engineering and Technology Vol.38 No.3 2006 pp.259-276
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 2006 pp.616-620
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
SMV를 이용한 Structural Decision Table 명세의 정형검증
[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 2006 pp.190-192
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 2005 pp.427-429
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
PVS를 이용한 SCR 스타일의 소프트웨어 요구사항 명세에서 기능 요구 사항의 정형 검증
[Kisti 연계] 한국정보과학회 정보과학회논문지:컴퓨팅의 실제 및 레터 Vol.8 No.1 2002 pp.46-61
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
MSCTest: 내장 소프트웨어 테스트를 위한 자동화 도구
[Kisti 연계] 한국정보과학회 정보과학회논문지:컴퓨팅의 실제 및 레터 Vol.6 No.2 2000 pp.187-195
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
0개의 논문이 장바구니에 담겼습니다.
- 구매 불가 논문
-