Login / Signup

Formal analysis of model transformations based on triple graph grammars.

Frank HermannHartmut EhrigUlrike GolasFernando Orejas
Published in: Math. Struct. Comput. Sci. (2014)
Keyphrases
  • formal analysis
  • probabilistic model
  • graph grammars
  • agent model
  • information retrieval
  • high level
  • prior knowledge
  • context sensitive
  • programming language