지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
Abstract
1. 서론
2. 표준 프로토콜
3. 검증시험
4. 정형기법에 의한 검증방안
5. 결론
감사의 글
참고문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
Development of Communication Protocol Verification Tool for Vital Railway Signaling Systems
Journal of Electrical Engineering & Technology
2006 .12
Formal Verification Network-based Protocol for Railway Signaling Systems
제어로봇시스템학회 국제학술대회 논문집
2004 .08
철도 신호시스템을 위한 새로운 통신 프로토콜의 성능해석 및 검증
전기학회논문지 B
2004 .06
전자연동장치와 역정보전송장치간 인터페이스를 위한 데이터링크 프로토콜 성능해석
철도저널
2003 .06
Development of Verification and Conformance Test Generation of Communication Protocol for Railway Signaling Systems
제어로봇시스템학회 국제학술대회 논문집
2004 .08
열차제어용 표준 통신 프로토콜의 안전 특성 분석 및 평가
한국철도학회 논문집
2007 .06
철도신호용 통신프로토콜에 대한 검정 및 시험방안에 관한 연구
대한전기학회 학술대회 논문집
2004 .04
A New Data Link Protocol for Railway Signaling Systems
KIEE International Transactions on Electrical Machinery and Energy Conversion Systems
2003 .12
Communication Models and Protocols
대한전자공학회 단기강좌
1991 .01
철도신호용 통신 프로토콜의 적합성 시험도구 개발에 관한 연구
대한전기학회 학술대회 논문집
2004 .07
역정보전송장치와 전자연동장치간 통신 프로토콜에 관한 연구
한국철도학회 학술발표대회논문집
2002 .05
A Verification System for Communication Protocols and Its Application to the OSI Session Protocol
JC-CNSS : Joint Conference on Communications, Networks and Switching Systems
1990 .01
통신프로토콜 검정 및 적합성 시험에 관한 연구
한국통신학회 학술대회 및 강연회
2004 .12
Design and Implementation of a Protocol Verification System-LOVE
KITE JOURNAL OF ELECTRONICS ENGINEERING
1991 .01
LTS로 명세화된 철도 신호제어용 프로토콜 검정 및 적합성시험
한국철도학회 학술발표대회논문집
2003 .10
철도신호시스템과 전철전력 SCADA 장치간 프로토콜 설계 및 정형검증
대한전기학회 학술대회 논문집
2004 .07
I/O FSM으로 명세화된 철도 신호제어용 프로토콜 검정에 관한 연구
한국철도학회 학술발표대회논문집
2004 .10
철도신호시스템 상호간 인터페이스를 위한 데이타링크 프로토콜 성능분석
대한전기학회 학술대회 논문집
2002 .07
Signaling Protocol for IMT-2000 A-Interface
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
1998 .01
[기술동향]Computer Communication Protocols
텔레콤
1986 .06
0