Protocol Validation - Principles and Applications.

Published in: Comput. Networks ISDN Syst. (1992)

Keyphrases

lightweight
response time
database
data mining
genetic algorithm
authentication protocol
coloured petri nets
database systems
distributed systems
theoretical framework
formal analysis
communication protocol
tcp ip
group communication
model validation
file transfer