Protocol Validation for Large-Scale Applications.

Fuchun J. Lin Ming T. Liu

Published in: IEEE Softw. (1992)

Keyphrases

lightweight
real world
small scale
network protocols
real life
real time
neural network
information systems
case study
multi agent systems
response time
low cost
key distribution
coloured petri nets