Login / Signup

Verifying configuration files.

Ciera Jaspan
Published in: SPLASH/OOPSLA Companion (2010)
Keyphrases
  • databases
  • model checking
  • database
  • metadata
  • case study
  • image segmentation
  • real world
  • multiresolution
  • constraint satisfaction problems
  • product configuration