Login / Signup

A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications.

Hartmut EhrigClaudia ErmelGabriele Taentzer
Published in: FASE (2011)
Keyphrases
  • statistical model
  • probabilistic model
  • formal model
  • high level
  • objective function
  • em algorithm
  • process model
  • experimental data
  • bipartite graph
  • graph model
  • graph representation