상세 보기
자료 필터
자료유형
발행연도
1999 ~ 2026
1999 2026
키워드
언어
선택된 필터
- article
- conference
전체 304건 중 201번부터 210번까지의 결과를 표시합니다.
2006
2005
Article
PERFORMANCE VERIFICATION OF NETWORK-BASED PROTOCOL FOR RAILWAY SIGNALING SYSTEMS
- 2005-07
- Korean Rail Technology
- 한국철도기술연구원
Conference
FORMAL VERIFYING CORRECTNESS OF NETWORK-BASED PROTOCOL FOR RAILWAY SIGNALLING SYSTEMS
- 2005-04-29