Modelling and analysis of the AMBA bus using CSP and B.

Alistair A. McEwan Steve A. Schneider

Published in: Concurr. Comput. Pract. Exp. (2010)

Keyphrases

image analysis
data sets
data analysis
image processing
databases
social networks
website
case study
statistical analysis
data acquisition
constraint satisfaction
quantitative analysis