Login / Signup
Verifying a real system design: some of the problems.
Ruaridh Macdonald
Published in:
ACM SIGSOFT Softw. Eng. Notes (1985)
Keyphrases
</>
design process
probabilistic model
np complete
computer aided
design methodology
data sets
real world
image sequences
case based reasoning
optimization problems
knowledge based systems
human computer interaction
benchmark problems