Effects of property ordering in an incremental formal modeling methodology.

Syed Suhaib Deepak Mathaikutty Sandeep 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