Login / Signup
Time Versus Abstraction in Formal Description.
Howard Bowman
Gordon S. Blair
Lynne Blair
Amanda G. Chetwynd
Published in:
FORTE (1993)
Keyphrases
</>
formal specification
data abstraction
decision trees
high level
image processing
neural network
information retrieval
bayesian networks
cooperative
search algorithm
decision theoretic planning