Using PROTEAN for Verifying a Complex Protocol - A Case Study

Published in: Softw. Pract. Exp. (1995)

Keyphrases

complex structures
real world
case study
lightweight
computationally intensive
neural network
data mining
high level
end to end
test bed
complex data
communication protocol