Login / Signup
Localized Verification of Modular Designs.
Jørgen Staunstrup
Niels 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