• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Effects of property ordering in an incremental formal modeling methodology.

Syed SuhaibDeepak MathaikuttySandeep K. Shukla
Published in: HLDVT (2004)
Keyphrases
  • formal model
  • total ordering
  • real world
  • partial order
  • database
  • data sets
  • three dimensional
  • evolutionary algorithm
  • data driven
  • statistical methods
  • mathematical models
  • modeling method
  • modeling framework