Sign in

The Theory and Practice of SALT.

Andreas BauerMartin Leucker
Published in: NASA Formal Methods (2011)
Keyphrases
  • theoretical insights
  • theoretical basis
  • database
  • data structure
  • theoretical framework
  • artificial intelligence
  • image processing
  • similarity measure
  • expert systems
  • information technology
  • trade off
  • general theory