Login / Signup

Specification Patterns for Properties over Reachable States of Graph Grammars.

Simone André da Costa CavalheiroLuciana FossLeila Ribeiro
Published in: SBMF (2012)
Keyphrases
  • graph grammars
  • initial state
  • high level
  • data structure
  • data model
  • programming language
  • markov random field
  • context free