Formal description of processes - the first step in design automation.

Adin D. Falkoff

Published in: DAC (1965)

Keyphrases

design automation
circuit design
computer aided design
formal specification
real time
data mining
social networks
post processing
process model
learning algorithm
image processing
website