Login / Signup

Policy Analysis and Verification by Graph Transformation Tools.

Francesco Parisi-PresicceYujie Zhao
Published in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
  • graph transformation
  • statistical analysis
  • data analysis
  • website
  • data analysis tools
  • data sets
  • databases
  • information systems
  • web services
  • clustering algorithm
  • formal analysis
  • analysis tool