Protocol Validation by Maximal Progress State Exploration.

Mohamed G. Gouda Yao-Tin Yu

Published in: IEEE Trans. Commun. (1984)

Keyphrases

lightweight
data sets
database
website
search algorithm
databases
machine learning
genetic algorithm
artificial intelligence
metadata
digital libraries
mobile devices
distributed systems
state information