Login / Signup

Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification.

M. F. van AmstelM. G. J. van den BrandLuc J. P. Engelen
Published in: SSIRI (Companion) (2011)
Keyphrases
  • fine grained
  • high level
  • database systems
  • objective function
  • probabilistic model
  • computational model
  • conceptual model
  • neural network
  • personal information
  • coarse grained