개인구독
소속 기관이 없으신 경우, 개인 정기구독을 하시면 저렴하게
논문을 무제한 열람 이용할 수 있어요.
지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 발행연도
- 2004.8
- 수록면
- 354 - 357 (4page)
이용수
이 논문의 연구 히스토리 (3)
- 이 논문의 후속연구가 궁금하신가요?
- 연관 학술논문 또는 학술발표를 통해 보다 발전된 연구결과를 확인하실 수 있습니다.
- 이 논문의 연구 히스토리 확인하기
초록· 키워드
오류제보하기
등록된 정보가 없습니다.
목차
Abstract
1. INTRODUCTION
2. NETWORK-BASED PROTOCOL FOR RAILWAY SIGNALING SYSTEMS
3. FORMAL VERIFICATION OF DESIGNED PROTOCOL SPECIFIED IN LTS
REFERENCES
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
철도신호설비 상호간 정보전송을 위한 통신 프로토콜 검증시험
철도저널
2004 .06
-
A New Data Link Protocol for Railway Signaling Systems
KIEE International Transactions on Electrical Machinery and Energy Conversion Systems
2003 .12
-
철도 신호시스템을 위한 새로운 통신 프로토콜의 성능해석 및 검증
전기학회논문지 B
2004 .06
-
Development of Verification and Conformance Test Generation of Communication Protocol for Railway Signaling Systems
제어로봇시스템학회 국제학술대회 논문집
2004 .08
-
Development of Communication Protocol Verification Tool for Vital Railway Signaling Systems
Journal of Electrical Engineering & Technology
2006 .12
-
Analysis of Safety Assessment Methodology for Railway Signaling Systems
International Journal of Safety
2007 .01
-
철도신호시스템과 전철전력 SCADA 장치간 프로토콜 설계 및 정형검증
대한전기학회 학술대회 논문집
2004 .07
-
Development of Performance Testing Tool for Railway Signaling System Software
International Journal of Safety
2011 .01
-
Reliable Ethernet Architecture with Redundancy Scheme for Railway Signaling Systems
Journal of Electrical Engineering & Technology
2007 .09
-
신호제어시스템 기능 및 인터페이스 확인을 위한 시뮬레이터 설계
대한전기학회 학술대회 논문집
2000 .07
-
진로제어시스템을 위한 네트워크 기술연구
한국철도학회 학술발표대회논문집
2004 .06
-
Performance Analysis of Network-based Data Transmission Protocol between Railway Signaling and SCADA Systems
전기학회논문지 B
2006 .09
-
Formal Verification in Commercial Environments
대한전자공학회 토론회
1996 .01
-
Formal Verification in Commercial Environments
대한전자공학회 학술대회
1996 .07
-
역간 네트워크 신호제어시스템 구축 방안
대한전기학회 학술대회 논문집
2008 .10
-
Development of Automatic Tool for Software Metrics Analysis for Railway Signaling Systems
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2009 .07
-
전자연동장치와 역정보전송장치간 인터페이스를 위한 데이터링크 프로토콜 성능해석
철도저널
2003 .06
-
Study on the Effectiveness of High-Speed Railway Communication and Signaling System Based on 4G LTE Technology
제어로봇시스템학회 국제학술대회 논문집
2013 .10
-
신호보안시스템의 소프트웨어 신뢰성 향상에 관한 기초연구
한국철도학회 학술발표대회논문집
2001 .05
-
열차제어 S/W 변경영향 분석을 위한 방법 연구
한국철도학회 학술발표대회논문집
2009 .05
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2014-569-000904255