지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
Abstract
1. Introduction
2. Model
3. Bounded Model Checking
4. Experimental Results
5. Conclusions
References
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
Some Issues in the Deregulation Transition of Telecommunication Services in Korea
한국통신학회 기타 간행물
1989 .01
통신 서비스의 이동성에 관한 연구
대한전자공학회 학술대회
1993 .11
통신 서비스의 이동성에 관한 연구 ( A Study on the Mobility Function of Telecommunication Services )
대한전자공학회 학술대회
1993 .11
Bounded Model Checking을 위한 다양한 SAT Solver 성능 분석
한국정보과학회 학술발표논문집
2016 .12
Telecommunication and DBS Services by Koreasat
대한전자공학회 세미나
1995 .01
신규 통신서비스 성과 평가를 위한 지표 선정에 관한 연구
한국통신학회 학술대회논문집
2004 .07
Telecommunication Management Network for KT`s Telecommunication Network
JC-CNSS : Joint Conference on Communications, Networks and Switching Systems
1992 .01
통신서비스의 일자리 창출에 관한 연구
한국통신학회 학술대회논문집
2013 .06
Analysis of Consumers’ Choices and Time-Consumption Behaviors for Various Broadcasting and Telecommunication Convergence Services
[ETRI] ETRI Journal
2010 .04
The Research on the Reliability of the information and telecommunication system
INTERNATIONAL CONFERENCE ON FUTURE INFORMATION & COMMUNICATION ENGINEERING
2009 .06
The Research on the Reliability of the information and telecommunication system
INTERNATIONAL CONFERENCE ON FUTURE INFORMATION & COMMUNICATION ENGINEERING
2007 .07
광대역 서비스 및 망능력 분석 ( Analysis of Broadband Telecommunication Services and Network Capabilities )
한국통신학회 학술대회논문집
1994 .01
광대역 서비스 및 망능력 분석 ( Analysis of Broadband Telecommunication Services and network Capabilities )
대한전자공학회 학술대회
1994 .01
New Cell Model for Advanced Telecommunication Service
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
1997 .01
A Solution for SOA based Converged Services in Telecommunication Service Features
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2007 .07
통신부문의 수요측정과 구조변화 분석
국토계획
1995 .10
NETWORK ARCHITECTURE FOR THE NEW TELECOMMUNICATION ENVIRONMENT
Asia-Pacific Conference on Communications
1995 .01
Current Policy Issues in the Korean Telecommunication Industry
Asia-Pacific Conference on Communications
1993 .01
TRAFFIC MANAGEMENT FOR THE TELECOMMUNICATION NETWORKS
대한전자공학회 세미나
1991 .01
유무선 통신서비스 간 상호 대체성 및 보완성에 관한 실증분석
산업공학 (IE interfaces)
2004 .12
0