Cita APA

Jo, H., Hwang, J., & Yoon, Y. Analysis of the formal specification application for train control systems.

Chicago Style Citation

Jo, Hyun-Jeong., Jong-Gyu Hwang, i Yong-Ki Yoon. Analysis of the Formal Specification Application for Train Control Systems.

Cita MLA

Jo, Hyun-Jeong., Jong-Gyu Hwang, i Yong-Ki Yoon. Analysis of the Formal Specification Application for Train Control Systems.