Automated Protocol Validation: One Chain of Development.

Harry Rudin Colin H. West Pitro Zafiropulo

Published in: Comput. Networks (1978)

Keyphrases

development environment
semi automated
data mining
development process
rapid development
data sets
databases
neural network
digital libraries
information processing
future development