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

@article{Lee2009DevelopmentOV,
  title={Development of verification and conformance testing tools for a railway signaling communication protocol},
  author={Jae-Ho Lee and Jong-Gyu Hwang and Ducko Shin and Kang-Mi Lee and Sung Un Kim},
  journal={Computer Standards & Interfaces},
  year={2009},
  volume={31},
  pages={362-371}
}