Login / Signup
Ada-based abstract machine specification of CAIS to generate validation tests.
Timothy E. Lindquist
Jeffrey L. Facemire
Published in:
WADAS (1985)
Keyphrases
</>
abstract machine
data model
automatically generate
artificial intelligence
high level
formal specification
data sets
user interface
automatically generating
formal verification
statistical tests
special case
relational databases
multiscale
database systems
information systems
neural network