상세 보기
자료 필터
자료유형
발행연도
1999 ~ 2026
1999 2026
키워드
언어
선택된 필터
- article
- conference
전체 304건 중 121번부터 130번까지의 결과를 표시합니다.
2009
Article
Development of verification and conformance testing tools for a railway signaling communication protocol
- Lee, Jae-Ho ;
- Hwang, Jong-Gyu ;
- Shin, Ducko ;
- Lee, Kang-Mi ;
- Kim, Sung-Un
- 2009-02
- Computer Standards and Interfaces
- ELSEVIER
Article
Analysis of the Formal Specification Application for Train Control Systems
- 2009-01
- Journal of Electrical Engineering & Technology
- 대한전기학회