지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
1. 서론
2. 정형기법
3. 정형검증 기법인 모델 체킹 및 VIS 소개
4. Case Study
5. 결론 및 향후 연구 방향
6. 참고 문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
원자력 발전소 내장형 Digital Plant Protection System의 정형적 설계
한국정보과학회 학술발표논문집
2001 .04
내장형 시스템 통합설계의 정형적 설계 및 구현
대한전자공학회 기타 간행물
2001 .11
내장형 시스템의 통합 설계를 위한 검증 및 구현
한국정보과학회 학술발표논문집
2001 .10
고속 중형 컴퓨터 (주전산기 Ⅲ) 의 시스템 설계
한국정보과학회 학술발표논문집
1993 .04
빙축열 시스템
대한설비공학회 강연회 및 기타간행물
1993 .03
업체탐방-(주)건인시스템
전자진흥
1990 .01
빙축열 시스템
대한설비공학회 강연회 및 기타간행물
1992 .07
IT CEO STORY-(주)이지 시스템
The USERS
2006 .01
[特輯]S. W. I. F. T. 시스템
정보과학회지
1991 .12
회원사 탐방-(주)가인시스템
정보화사회
1991 .01
中空슬래브 連續橋에 대한 構造解析 시스템 開發
대한토목학회 학술발표회 논문집
1994 .10
웹 상에서의 비정형 시스템의 자율적 설계
한국컴퓨터정보학회논문지
2003 .06
소프트웨어 설계지원 시스템개발에 관한 연구 ( Software Design Supporting System Development )
특정연구 결과 발표회 논문집
1990 .01
안전 필수 시스템 설계를 위한 디자인 패턴
한국정보과학회 학술발표논문집
2010 .06
설계로 말할 때이다
건축사
2002 .01
2.1 설계일반
한국지반신소재학회 단기강좌
2010 .07
시스템 분석을 통한 시스템 관리 소프트웨어
한국통신학회 학술대회논문집
2008 .11
0