Login / Signup

Localized Verification of Modular Designs.

Jørgen StaunstrupNiels Mellergaard
Published in: Formal Methods Syst. Des. (1995)
Keyphrases
  • model checking
  • data structure
  • face verification
  • formal verification
  • neural network
  • artificial intelligence
  • modular architecture
  • high security
  • concurrent systems
  • false acceptance rate
  • modular neural networks