Sign in

Model-Based Specification Animation Using Testgraphs.

Tim MillerPaul A. Strooper
Published in: ICFEM (2002)
Keyphrases
  • high level
  • data driven
  • formal specification
  • specification language
  • database
  • data sets
  • search algorithm
  • model free
  • neural network
  • computer graphics
  • computer animation