Login / Signup
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
Published in:
Comput. Stand. Interfaces (2009)
Keyphrases
</>
communication protocol
communication protocols
formal methods
real time
user interface
software engineering
response time
swarm intelligence
wifi