Login / Signup
Verification by the pound.
Grant Martin
Published in:
IEEE Des. Test Comput. (2005)
Keyphrases
</>
model checking
formal verification
fingerprint verification
website
expert systems
formal analysis
database
neural network
information systems
high level
similarity measure
objective function
multi agent systems
wireless sensor networks