Login / Signup

Formal Analysis Meets 3D-Visualization.

Christopher KraußAndreas Nonnengart
Published in: ISPE CE (2012)
Keyphrases
  • formal analysis
  • formal methods
  • agent model
  • databases
  • machine learning
  • query processing
  • ban logic