Login / Signup

System validation via constraint modeling.

Richard C. Waters
Published in: ACM SIGPLAN Notices (1991)
Keyphrases
  • model validation
  • data sets
  • real world
  • image processing
  • three dimensional
  • modeling framework