Login / Signup

Formal specification and analysis of functional properties of graph rewriting-based model transformation.

Márk AsztalosLászló LengyelTihamer Levendovszky
Published in: Softw. Test. Verification Reliab. (2013)
Keyphrases
  • formal specification
  • functional properties
  • probabilistic model
  • real world
  • graph representation
  • artificial intelligence
  • cooperative
  • metamodel
  • graph model
  • specification language
  • rewriting rules