Login / Signup

Verification and conformance test generation of communication protocol for railway signaling systems.

Jae-dong LeeJae-Il JungJae-Ho LeeJong-Gyu HwangJin-Ho HwangSung Un Kim
Published in: Comput. Stand. Interfaces (2007)
Keyphrases
  • test generation
  • communication protocol
  • design automation
  • test cases
  • communication protocols
  • symbolic execution
  • intelligent systems
  • object oriented
  • software engineering
  • embedded systems
  • wifi