지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
등록된 정보가 없습니다.
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
한국현대건축의 형태분석에 관한 연구 - 전통표현문제를 중심으로 ( A Study on the Formal Analysis of Korean Contemporary Architecture )
대한건축학회 학술발표대회 논문집 - 계획계
1987 .04
구성주의적 가장학습 시스템의 개발
한국전자거래학회지
2001 .11
De Stijl건축의 형태구성에 관한 연구 ( A Study on the Formal Structure of De Stijl Architecture )
대한건축학회 학술발표대회 논문집 - 계획계
1986 .04
The Analysis of Formal Methods for Applying to Vital S/W in Train Control Systems
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2007 .07
Constructive MA Generation
한국CDE학회 국제학술발표 논문집
2007 .08
Analysis of the Formal Specification Application for Train Control Systems
Journal of Electrical Engineering & Technology
2009 .03
System - level Design Based on Formal Model of Computation
대한전자공학회 기타 간행물
2001 .11
Formal Verification in Commercial Environments
대한전자공학회 토론회
1996 .01
Formal Verification in Commercial Environments
대한전자공학회 학술대회
1996 .07
근대건축에 나타난 De Stijl운동의 형태적 특성에 관한 연구 ( A Study on the formal Characteristics of De Stijl movement Appeared in Modern Architecture )
대한건축학회 학술발표대회 논문집 - 계획계
1994 .10
열차제어시스템 바이탈 소프트웨어를 위한 정형기법 적용 방안 분석
한국철도학회 학술발표대회논문집
2007 .05
야콥 체르니코프의 '건축적 환상'에서 나타나는 비 대상성(Non-Objectivity)에 대한 연구 ( A Study on the Idea of Non-Objectivity Expressed in Iakov Chernikhov's 'Architectural Fantasy' )
대한건축학회 학술발표대회 논문집 - 계획계
2002 .10
A Formal Modeling of Access Control for Network Management Information Base
Asia-Pacific Conference on Communications
1997 .01
열차제어시스템을 위한 정형기법 적용 절차 및 템플릿 제안
대한전기학회 학술대회 논문집
2010 .04
Case Study : Applying formal verification in IP design
대한전자공학회 ISOCC
2007 .10
구조기술적 요소와 형태표현의 상관성에 관한 연구 ( A Study on the Interrelationship between Structural Elements and Formal Expression )
대한건축학회 학술발표대회 논문집 - 계획계
1991 .10
현대건축에 있어서 脫定型的 공간구성의 多義的 표현에 관한 연구
대한건축학회 논문집 - 계획계
2004 .02
Constructive Methods of Fuzzy Rules for Function Approximation
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2002 .07
구성적 인공지능 숫자인식
한국지능정보시스템학회 학술대회논문집
2017 .08
Formal Model 작성을 위한 Event Graph 모델링 연구
한국정밀공학회 학술발표대회 논문집
1997 .11
0