Login / Signup

Automated Protocol Analysis.

John B. SmithDana K. SmithEileen Kupstas
Published in: Hum. Comput. Interact. (1993)
Keyphrases
  • statistical analysis
  • image processing
  • lightweight
  • fully automated
  • databases
  • database
  • neural network
  • website
  • decision trees
  • search algorithm
  • data analysis
  • formal analysis