Modeling and Analysis of the AMBA Bus Using CSP and B.

Alistair A. McEwan Steve A. Schneider

Published in: CPA (2007)

Keyphrases

databases
high speed
neural network
information systems
np complete
real world
image processing
similarity measure
data analysis
expert systems
modeling method