Login / Signup
Acceleration of Multi-axis NC Machining Verification.
Yasumasa Kawashima
Kumiko Itoh
Kazuhiko Ejiri
Published in:
PROLAMAT (1992)
Keyphrases
</>
high speed
model checking
face verification
database
data structure
video sequences
formal analysis
signature verification
concurrent systems