Login / Signup

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

Jae-Ho LeeJong-Gyu HwangDucko ShinKang-Mi LeeSung Un Kim
Published in: Comput. Stand. Interfaces (2009)
Keyphrases
  • communication protocol
  • communication protocols
  • formal methods
  • real time
  • user interface
  • software engineering
  • response time
  • swarm intelligence
  • wifi