상세 보기
자료 필터
자료유형
발행연도
1999 ~ 2026
1999 2026
키워드
언어
선택된 필터
- article
- conference
전체 304건 중 151번부터 160번까지의 결과를 표시합니다.
2008
2007
Article
Analysis of Safety Assessment Methodology for Railway Signaling Systems
- 2007-12
- International Journal of Safety
- 한국안전학회
Conference
Formal Method Application with Safety Guarantee In Railway Signaling Control Systems
- 2007-10-30
Conference
Investigation of Risk Analysis Methods for Safety Assurance in the Train Control System
- 2007-10-08