상세 보기
자료 필터
자료유형
발행연도
1999 ~ 2026
1999 2026
키워드
언어
선택된 필터
- article
- conference
전체 304건 중 81번부터 90번까지의 결과를 표시합니다.
2010
Conference
Formal Specification & Verification Process by using Z for Safety Improvement of Railway Signaling System
- 2010-10-20
Conference
Accident Protection Equipment for Railway Platform using novel LaserRadar Sensory system
- 2010-10-20
Conference
Proposal of the standard-based method for communication safety enhancement in railway signalling systems
- 2010-09-01