Verification of assemblability between toleranced parts.

Sangho Park Kunwoo Lee

Published in: Comput. Aided Des. (1998)

Keyphrases

model checking
formal verification
multi agent
functional verification
database
computer vision
information systems
multiscale
evolutionary algorithm
mobile robot
medical images
formal analysis
verification method