• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Modular verification of strongly invasive aspects: summary.

Emilia KatzShmuel Katz
Published in: FOAL (2009)
Keyphrases
  • model checking
  • real time
  • databases
  • three dimensional
  • multiscale
  • modular neural networks
  • web pages
  • web services
  • evolutionary algorithm
  • face verification
  • formal analysis
  • formal verification