Jo, H., Hwang, J., & Yoon, Y. Analysis of the formal specification application for train control systems.
Dyfyniad Arddull ChicagoJo, Hyun-Jeong., Jong-Gyu Hwang, và Yong-Ki Yoon. Analysis of the Formal Specification Application for Train Control Systems.
Dyfyniad MLAJo, Hyun-Jeong., Jong-Gyu Hwang, và Yong-Ki Yoon. Analysis of the Formal Specification Application for Train Control Systems.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.