Development of verification and conformance testing tools for a railway signaling communication protocol.

Jae-Ho Lee Jong-Gyu Hwang Ducko Shin Kang-Mi Lee Sung Un Kim Development of verification and conformance testing tools for a railway signaling communication protocol. 362-371 2009 31 Computer Standards & Interfaces 2 http://dx.doi.org/10.1016/j.csi.2008.05.011 db/journals/csi/csi31.html#LeeHSLK09