자료유형  

 기사

ISSN  

17386225

저자명  

김해응

서명/저자  

철도신호시스템 운용규정에 Formal Method의 적용 / 김해응 , 이종우 공저

발행사항  

서울 : 한국철도학회, 2006.

형태사항  

pp. 46 - 52

기타저자  

이종우

기본자료저록  

한국철도학회 논문집=Journal of the Korean Society for Railway : 추계학술대회 논문집 -철도와해양의 만남 2006, 11

원문정보  

 url

모체레코드  

모체정보확인

Control Number  

kjul:60270078