Modular requirements for digital logic simulation at a predefined functional level.

Cliff W. Hemming Jr.Stephen A. Szygenda

Published in: ACM Annual Conference (1) (1972)

Keyphrases

levels of abstraction
simulation models
predicate logic
image processing
medical images
simulation study
data sets
higher level
mathematical model
epistemic logic
deontic logic