Jo, H., Hwang, J., & Yoon, Y. Analysis of the formal specification application for train control systems.
Citação norma ChicagoJo, Hyun-Jeong., Jong-Gyu Hwang, e Yong-Ki Yoon. Analysis of the Formal Specification Application for Train Control Systems.
Citação norma MLAJo, Hyun-Jeong., Jong-Gyu Hwang, e Yong-Ki Yoon. Analysis of the Formal Specification Application for Train Control Systems.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.