Modular Verification of SRT Division.

Harald Rueß Natarajan Shankar Mandayam K. Srivas

Published in: Formal Methods Syst. Des. (1999)

Keyphrases

model checking
square root
free space
databases
neural network
website
formal methods
signature verification
person identification
multi robot exploration
real time
modular neural networks
verification method
modular architecture
cryptographic protocols
face verification
probability distribution
case study
data sets