Login / Signup

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

M. F. van AmstelM. G. J. van den BrandLuc J. P. Engelen
Published in: ICST Workshops (2011)
Keyphrases
  • fine grained
  • extended abstract
  • probabilistic model
  • computational model
  • databases
  • high level
  • distributed systems
  • conceptual model