지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 발행연도
- 2007.10
- 수록면
- 329 - 332 (4page)
이용수
초록· 키워드
오류제보하기
등록된 정보가 없습니다.
목차
Abstract
1 Introduction
2 Signal Coverage Methodology
3 Minimal Set of Properties
4 Experimental Results
5 Discussion
8 Conclusions
References
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
A contemporary engineering perspective on symbolic computation
제어로봇시스템학회 국제학술대회 논문집
2009 .08
-
Symbolic computation and differential quadrature method - A boon to engineering analysis
Structural engineering and mechanics : An international journal
2007 .01
-
Functional State Coverage Estimation for CTL Model Checking
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2005 .07
-
Symbolic/Numeric Computations for Feedback Control System Design
제어로봇시스템학회 국제학술대회 논문집
2009 .08
-
Computer Program Testing을 위한 Coverage 척도
대한전자공학회 학술대회
1983 .11
-
Heat Conduction with Non-Linear Boundary Conditions via Integral Transforms and Symbolic Computation
Heat Transfer Conference
1998 .08
-
Modelling a Relationship Between Reliability and Software Coverage
International Journal of Reliability and Applications
2003 .09
-
디지털 제어시스템의 code coverage분석
정보 및 제어 논문집
2011 .10
-
Border Effect of Transmission Coverage in Mobile Wireless Communications
JUCT : Journal of Ubiquitous Convergence Technology
2008 .12
-
System - level Design Based on Formal Model of Computation
대한전자공학회 기타 간행물
2001 .11
-
실시간 시뮬레이션을 위한 기호연산기법의 유용성 검증에 관한 연구 ( Efficiency of a Symbolic Computation Method for the Real Time Simulation )
대한기계학회 논문집 A권
2000 .07
-
Plasticity : Modeling & Computation
대한토목학회지
2014 .05
-
Cell Coverage and Antenna
대한전자공학회 단기강좌
1996 .01
-
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
-
A Practical Coverage Algorithm for Intelligent Robots with Deadline Situations
제어로봇시스템학회 국제학술대회 논문집
2010 .10
-
Formal Verification of Web Navigation by Symbolic Model Checking
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2008 .07
-
A Time Synchronized Multi-robot Coverage Algorithm for Unstructured Environment
제어로봇시스템학회 국제학술대회 논문집
2014 .10
-
Fault Coverage Evaluation Model of Test Case for Communication Protocols
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
1996 .01
-
기호계산을 이용한 공간기구의 해석 ( Analysis of Spatial Mechanism Using Symbolic Computation )
대한기계학회 논문집
1993 .06
-
Computation-Efficient Image Signal Processing for CMOS Image Sensors
대한전자공학회 ISOCC
2007 .10
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2013-569-001484356