상세 보기
조현정
Jo, Hyun Jeong
철도안전환경본부
시스템안전연구실
연구분야
- Railway Safety,
- Railway Software,
- Railway signaling System,
- 철도소프트웨어,
- 철도신호통신,
- 철도안전
연도별 연구 활동 현황
자료 필터
자료유형
발행연도
2006 ~ 2026
2006 2026
키워드
언어
선택된 필터
- article
- conference
전체 183건 중 121번부터 130번까지의 결과를 표시합니다.
2009
Article
Analysis of the Formal Specification Application for Train Control Systems
- 2009-01
- Journal of Electrical Engineering & Technology
- 대한전기학회
2008
Conference
Applying Formal Method to Train Distance Control System by Combining Zed and Statechart
- 2008-10-14
Conference
STUDY ON THE COMPROMISED Z & STATECHART METHOD FOR FORMAL SPECIFICATION APPLICATION IN TRAIN CONTROL SYSTEMS
- 2008-10-09