Login / Signup
An Optimization Technique for Protocol Conformance Testing Using Multiple Uio Sequences.
Wen-Huei Chen
Ching-Sung Lu
Elben R. Brozovsky
Jin-Tuu Wang
Published in:
Inf. Process. Lett. (1990)
Keyphrases
</>
hidden markov models
case study
data structure
end to end
test sequences
sequence alignment
formal analysis