Login / Signup

Incorporating Formal Techniques into Industrial Practice: an Experience Report.

Ammar OsaiweranMathijs SchutsJozef HoomanJacco H. Wesselius
Published in: Electron. Notes Theor. Comput. Sci. (2013)
Keyphrases
  • industrial applications
  • ai law
  • formal model
  • artificial intelligence
  • neural network
  • real world
  • information retrieval
  • search engine
  • object recognition
  • formal methods
  • formal analysis
  • quality improvement