Sign in

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