Sign in

Towards a Rule-Level Verification Framework for Property-Preserving Graph Transformations.

Hanh Nhi TranChristian Percebois
Published in: ICST (2012)
Keyphrases
  • probabilistic model
  • graph representation
  • theoretical framework
  • key properties
  • database
  • data sets
  • case study
  • lightweight
  • main contribution
  • graph theory
  • graph theoretic
  • rule learning
  • graph based algorithm