C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Towards automatic determination of problem bounds for object instantiation in static model verification.
Mathias Soeken
Robert Wille
Rolf Drechsler
Published in:
MoDeVVa@MoDELS (2011)
Keyphrases
</>
mathematical model
conceptual model
high level
probability distribution
management system
theoretical analysis
theoretical framework
data sets
probabilistic model
upper bound
d objects