Login / Signup

Automatic validation of pipeline specifications.

Prabhat MishraNikil D. DuttAlex Nicolau
Published in: HLDVT (2001)
Keyphrases
  • semi automatic
  • high level
  • fully automatic
  • database
  • data sets
  • databases
  • data driven
  • real time
  • neural network
  • genetic algorithm
  • data structure
  • relational databases
  • formal specification