Login / Signup

Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions.

Ulrike GolasHartmut EhrigFrank Hermann
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2011)
Keyphrases
  • high level
  • formal specification
  • probabilistic model
  • graph grammars
  • machine learning
  • parameter estimation