Formal Analysis of Automatic Train Protection and Block System for Regional Line Using VDM++
[Kisti 연계] 한국철도학회 International Journal of Railway Vol.5 No.2 2012 pp.65-70
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
0개의 논문이 장바구니에 담겼습니다.
- 구매 불가 논문
-