Searching for Optimal Homing Sequences for Testing Timed Communication Protocols.

Published in: J. Networks (2009)

Keyphrases

communication protocols
hidden markov models
dynamic programming
petri net
worst case
communication networks
communication protocol
test sequences
protocol specification