Problems encountered in the machine-assisted proof of hardware.

Published in: CHARME (1995)

Keyphrases

database
real time
real world
multi agent systems
optimization problems
hardware and software
databases
website
bayesian networks
computer systems
hardware implementation