지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
Abstract
Ⅰ. 서론
Ⅱ. 예비 결과 및 문제 설정
Ⅲ. 3가지 표준형
Ⅳ. 제어기의 설계 예
Ⅴ. 결론
참고문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
Type Ⅱ 이상인 목표전달함수의 구현
제어로봇시스템학회 국내학술대회 논문집
2000 .10
Type II 이상인 목표전달함수의 구현
제어로봇시스템학회 국내학술대회 논문집
2000 .10
RAPID PROTOTYPING을 위한 실행가능 명세 언어와 분석기 설계에 관한 연구
한국정보과학회 학술발표논문집
1987 .10
도메인 분석정보의 재사용을 위한 언어
정보과학회논문지(B)
1996 .01
시스템 요구 명세의 자동화 도구 개발을 위한 설계 연구 ( Prototype Tool 연구 중 ) ( Design for Development a Computer Aided Tool of System Requirement and Specification )
한국통신학회 학술대회논문집
1988 .01
시스템 요구 명세의 자동화 도구 개발을 위한 설계 연구 ( Prototype Tool 연구 중 ) ( Design for Developing a Computer Aided Tool of System Requirement and Specification )
특정연구 결과 발표회 논문집
1988 .01
소프트웨어 요구명세와 설계 명세간의 부합성 검사
한국정보과학회 학술발표논문집
2004 .10
네트워크 시스템 명세를 위한 Z 기반 프레임워크
한국정보과학회 학술발표논문집
2011 .06
Z 정형적 명세의 객체 지향 애니메이션
정보과학회논문지(B)
1996 .12
객체 지향 명세화 시스템 설계에 관한 연구 ( A Study on Object-Oriented Specification System Design )
한국통신학회 학술대회논문집
1994 .01
객체 지향 명세화 시스템 설계에 관한 연구
한국통신학회 학술대회논문집
1994 .11
네트워크 기반 시스템 명세 및 검증을 위한 Z 프레임워크
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2012 .02
임베디드 시스템을 위한 표준형 RTOS 개발
전자진흥
2005 .01
대수명세의 구현과 증분식 테스팅
한국정보과학회 학술발표논문집
1990 .10
대수명세의 단계적 구현과 증분식 테스팅
(구)정보과학회논문지
1991 .02
가스터빈 연소기에서 비연소 전달함수를 활용한 화염전달함수의 특성 파악
한국추진공학회 학술대회논문집
2016 .12
XML 기반의 컴포넌트 명세 언어
한국정보과학회 학술발표논문집
1999 .10
대수명세기법의 새로운 접근방법
한국정보과학회 학술발표논문집
1990 .04
관계 DBMS에서 다양한 질의어 처리를 위한 표준형에 관한 연구
한국정보과학회 학술발표논문집
1988 .10
추상 시간 기계를 기반으로 한 시간 명세와 분석
한국정보과학회 학술발표논문집
2000 .10
0