지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
등록된 정보가 없습니다.
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
A Formal Modeling of Access Control for Network Management Information Base
Asia-Pacific Conference on Communications
1997 .01
A Bottom-up and Top-down Based Disparity Computation
Journal of Electrical Engineering and information Science
1998 .04
Plasticity : Modeling & Computation
대한토목학회지
2014 .05
On-line and Off-line Based Approximation Algorithm for Model Predictive Control of Hybrid Systems
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2008 .07
Case Study : Applying formal verification in IP design
대한전자공학회 ISOCC
2007 .10
System - level design. And above.
대한전자공학회 기타 간행물
2001 .11
Formal Model 작성을 위한 Event Graph 모델링 연구
한국정밀공학회 학술발표대회 논문집
1997 .11
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
System of Systems Approach to Formal Modeling of CPS for Simulation-Based Analysis
[ETRI] ETRI Journal
2015 .02
비행자료산출을 위한 소요시간과 정답오차범위에 관한 연구
한국항공운항학회지
1998 .01
Analysis of the Formal Specification Application for Train Control Systems
Journal of Electrical Engineering & Technology
2009 .03
열차제어시스템 바이탈 소프트웨어를 위한 정형기법 적용 방안 분석
한국철도학회 학술발표대회논문집
2007 .05
Formal Verification in Commercial Environments
대한전자공학회 학술대회
1996 .07
Formal Verification in Commercial Environments
대한전자공학회 토론회
1996 .01
열차제어시스템을 위한 정형기법 적용 절차 및 템플릿 제안
대한전기학회 학술대회 논문집
2010 .04
건축형태의 발전과정에 있어서 복합 디자인 컨셉들의 상관관계에 관한 연구 : 자하 하디드 건축의 형태분석에 의한 접근
대한건축학회 학술발표대회 논문집 - 계획계
2004 .10
Gate Load Delay Computation Using Analytical Models
대한전자공학회 기타 간행물
1996 .01
구간 교통량의 표준오차를 이용한 최적 O/D 표본수 산출
대한교통학회지
1994 .03
Optimization Using Evolutionary Computation
Proceedings of The International Workshop on Future Technology
2019 .01
Parametric Computation of H∞ Norm of a System
제어로봇시스템학회 국제학술대회 논문집
2006 .10
0