Login / Signup

Automated Formalisation for Verification of Diagrammatic Models.

James R. WilliamsFiona A. C. Polack
Published in: Electron. Notes Theor. Comput. Sci. (2010)
Keyphrases
  • fully automated
  • information retrieval
  • database systems
  • data structure
  • formal analysis
  • neural network
  • hidden markov models
  • model selection
  • complex systems
  • statistical models