Login / Signup

Model synchronization based on triple graph grammars: correctness, completeness and invertibility.

Frank HermannHartmut EhrigFernando OrejasKrzysztof CzarneckiZinovy DiskinYingfei XiongSusann GottmannThomas Engel
Published in: Softw. Syst. Model. (2015)
Keyphrases
  • graph grammars
  • high level
  • probabilistic model
  • probability distribution