상세 보기
자료 필터
자료유형
발행연도
1999 ~ 2026
1999 2026
키워드
언어
선택된 필터
- article
- conference
전체 304건 중 161번부터 170번까지의 결과를 표시합니다.
2007
Article
Risk Assessment Method for Guaranteeing Safety in the Train Control System
- 2007-09
- WIT Transactions on the Built Environment
- WIT press
Article
Safety Characteristics Analysis of Korean Standard Communication Protocol for Railway Signalling
- 2007-08
- WIT Transactions on the Built Environment
- WIT press
Conference
Development Procedure Applied Formal Method of Vital Software for Railway Signalling Systems
- 2007-07-09
Conference
The Analysis of Formal Methods for Applying to Vital S/W in Train Control Systems
- 2007-07-08