A verified development of hardware using CSP∥B.

Alistair A. McEwan Steve A. Schneider

Published in: MEMOCODE (2006)

Keyphrases

image processing
constraint satisfaction problems
low cost
software engineering
rapid development
np hard
knowledge based systems
artificial intelligence
information systems
decision support
computer systems